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