Skip to content

feat(PhyslibAlpha): cohomology class of the affine symplectic group (Souriau) - #1681

Merged
jstoobysmith merged 6 commits into
leanprover-community:masterfrom
KevorkianPhilippe:moment-map-2
Sep 24, 2026
Merged

jstoobysmith merged 6 commits into
leanprover-community:masterfrom
KevorkianPhilippe:moment-map-2

Merge remote-tracking branch 'origin/master' into moment-map-2

1466b96
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 24, 2026 in 7s