WikiLeanRecent changes · Proposals · Flags · Stats · About

Diff — Ellipse

Revision #2210 → #2561 · back to history

modifiedInscribed angle theorem for circles9afcf7ea9d30
FieldFrom #2210To #2561
mathlib.declCospherical.two_zsmul_oangle_eqEuclideanGeometry.Cospherical.two_zsmul_oangle_eq
provenanceaiai-moderated