WikiLean
Articles
·
Brain
·
Recent changes
·
Proposals
·
Flags
·
Stats
·
About
🌓
Diff —
Euclidean space
Revision #2318 → #2565 ·
back to history
modified
Length of a segment
6e1757a1196e
Field
From #2318
To #2565
mathlib.decl
dist
Dist.dist
provenance
ai
ai-moderated