feat(PhyslibAlpha): Souriau's moment map on a symplectic vector space, cocycle and Noether's theorem - #1680

feat(PhyslibAlpha): Souriau's moment map on a symplectic vector space, cocycle and Noether's theorem#1680

jstoobysmith merged 2 commits into

leanprover-community:masterleanprover-community/physlib:masterfrom

KevorkianPhilippe:moment-map-1KevorkianPhilippe/physlib:moment-map-1Copy head branch name to clipboard