Nuprl Lemma : geo-line_wf
∀e:GeometryPrimitives. (Line ∈ Type)
Proof
Error : references
Latex:
\mforall{}e:GeometryPrimitives. (Line \mmember{} Type)
Date html generated:
2020_05_21-AM-10_25_50
Last ObjectModification:
2018_05_24-PM-01_52_40
Theory : euclidean!plane!geometry
Home
Index