WikiLean
Recent changes
·
Proposals
·
Flags
·
Stats
·
About
🌓
Diff —
Differential geometry
Revision #1155 → #2553 ·
back to history
modified
Almost symplectic manifold / symplectic form
cceef4f00171
Field
From #1155
To #2553
mathlib.decl
SymplecticGroup
Matrix.symplecticGroup
provenance
ai
ai-moderated