WikiLeanRecent changes · Proposals · Flags · Stats · About

Diff — Pentagon

Revision #1967 → #2622 · back to history

modifiedDiagonals of a convex regular pentagon are in golden ratio to sides6d596bcaeaf4
FieldFrom #1967To #2622
mathlib.declgoldenRatioReal.goldenRatio
provenanceaiai-moderated