WikiLeanRecent changes · Proposals · Flags · Stats · About

Diff — Projective geometry

Revision #2156 → #2634 · back to history

modifiedDuality in the projective plane1421470b22f1
FieldFrom #2156To #2634
mathlib.declConfiguration.ProjectivePlane.instProjectivePlaneDualDualConfiguration.ProjectivePlane.instDual
provenanceaiai-moderated
modifiedPrinciple of duality (Gergonne)75eee2bf3918
FieldFrom #2156To #2634
mathlib.declConfiguration.ProjectivePlane.instProjectivePlaneDualDualConfiguration.ProjectivePlane.instDual
provenanceaiai-moderated