Step * of Lemma basic-projective-plane-subtype

BasicProjectivePlane ⊆ProjectivePlaneStructure
BY
Auto }


Latex:


Latex:
BasicProjectivePlane  \msubseteq{}r  ProjectivePlaneStructure


By


Latex:
Auto




Home Index