feat(PhyslibAlpha): the mass as a cohomology class of the Galilean Lie algebra (Souriau) - #1684

Open

KevorkianPhilippe wants to merge 4 commits into

leanprover-community:masterfrom

KevorkianPhilippe:galilee-1

Commits on Sep 24, 2026

feat(PhyslibAlpha/ClassicalMechanics): the mass as a cohomology class of the Galilean Lie algebra

Philippe Kevorkian
and
claude
committed
c7d4f8b
docs(PhyslibAlpha/ClassicalMechanics): GalileanMass docstrings after a read-back against the book

Philippe Kevorkian
and
claude
committed
d45d65c

Commits on Sep 25, 2026

Merge remote-tracking branch 'origin/master' into galilee-1

Philippe Kevorkian
and
claude
committed
fb5250d
refactor(PhyslibAlpha/ClassicalMechanics): move the moment map files into MomentMap/

Philippe Kevorkian
and
claude
committed
ae21c03