Nuprl Definition : geo-lsep
a # bc == a leftof bc ∨ a leftof cb
Definitions occuring in Statement :
geo-left: a leftof bc,
or: P ∨ Q
Definitions occuring in definition :
or: P ∨ Q,
geo-left: a leftof bc
FDL editor aliases :
geo-lsep
Latex:
a \# bc == a leftof bc \mvee{} a leftof cb
Date html generated:
2017_10_02-PM-03_26_08
Last ObjectModification:
2017_08_04-PM-06_08_58
Theory : euclidean!plane!geometry
Home
Index