WikiLean
Recent changes
·
Proposals
·
Flags
·
Stats
·
About
🌓
Diff —
Symmetry
Revision #1999 → #2653 ·
back to history
modified
Rotational symmetry
2df9aec68975
Field
From #1999
To #2653
mathlib.decl
Rotation
Orientation.rotation
provenance
ai
ai-moderated