Skip to content

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
Open

KevorkianPhilippe wants to merge 4 commits into
leanprover-community:masterfrom
KevorkianPhilippe:galilee-1

refactor(PhyslibAlpha/ClassicalMechanics): move the moment map files …

ae21c03
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings and 1 notice
Add size label
succeeded Sep 25, 2026 in 6s