Nuprl Definition : eu-lt
p < q == p ≤ q ∧ (¬(p = q ∈ Point))
Definitions occuring in Statement :
eu-le: p ≤ q,
eu-point: Point,
not: ¬A,
and: P ∧ Q,
equal: s = t ∈ T
Definitions occuring in definition :
and: P ∧ Q,
eu-le: p ≤ q,
not: ¬A,
equal: s = t ∈ T,
eu-point: Point
FDL editor aliases :
eu-lt
Latex:
p < q == p \mleq{} q \mwedge{} (\mneg{}(p = q))
Date html generated:
2016_05_18-AM-06_37_26
Last ObjectModification:
2015_09_23-AM-09_00_16
Theory : euclidean!geometry
Home
Index