WikiLean
Recent changes
·
Proposals
·
Flags
·
Stats
·
About
🌓
Diff —
General linear group
Revision #1255 → #2579 ·
back to history
modified
Symplectic group
96c170b54424
Field
From #1255
To #2579
mathlib.decl
symplecticGroup
Matrix.symplecticGroup
provenance
ai
ai-moderated