Nuprl Definition : geo-strict-between
a-b-c == a_b_c ∧ a ≠ b ∧ b ≠ c
Definitions occuring in Statement :
geo-between: a_b_c,
geo-sep: a ≠ b,
and: P ∧ Q
Definitions occuring in definition :
geo-between: a_b_c,
and: P ∧ Q,
geo-sep: a ≠ b
FDL editor aliases :
geo-sbt
geo-sbt
Latex:
a-b-c == a\_b\_c \mwedge{} a \mneq{} b \mwedge{} b \mneq{} c
Date html generated:
2017_10_02-PM-03_26_00
Last ObjectModification:
2017_08_04-PM-06_44_54
Theory : euclidean!plane!geometry
Home
Index