Step
*
of Lemma
basic-projective-plane-subtype
BasicProjectivePlane ⊆r ProjectivePlaneStructure
BY
{ Auto }
Latex:
Latex:
BasicProjectivePlane  \msubseteq{}r  ProjectivePlaneStructure
By
Latex:
Auto
Home
Index