Skip to content

feat(PhyslibAlpha): the mass cocycle of the Galilean group (Souriau) - #1687

Open
KevorkianPhilippe wants to merge 9 commits into
leanprover-community:masterfrom
KevorkianPhilippe:galilee-2
Open

KevorkianPhilippe wants to merge 9 commits into
leanprover-community:masterfrom
KevorkianPhilippe:galilee-2

refactor(PhyslibAlpha/ClassicalMechanics): move GalileanMassCocycle.l…

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

Annotations

2 warnings and 1 notice
Comment a pull_request
succeeded Sep 25, 2026 in 24s