WikiLean
Recent changes
·
Proposals
·
Flags
·
Stats
·
About
🌓
Diff —
Elliptic geometry
Revision #1182 → #2562 ·
back to history
modified
Distance via scalar part of quaternion
3776fd17f7dc
Field
From #1182
To #2562
mathlib.decl
Quaternion.re
QuaternionAlgebra.re
provenance
ai
ai-moderated