Step * of Lemma projective-plane-subtype

ProjectivePlane ⊆ProjectivePlaneStructureComplete
BY
Auto }


Latex:


Latex:
ProjectivePlane  \msubseteq{}r  ProjectivePlaneStructureComplete


By


Latex:
Auto




Home Index