Nuprl Definition : geo-tri
Triangle(a;b;c) == a ≠ b ∧ b ≠ c ∧ c ≠ a
Definitions occuring in Statement :
geo-sep: a ≠ b,
and: P ∧ Q
Definitions occuring in definition :
and: P ∧ Q,
geo-sep: a ≠ b
FDL editor aliases :
geo-tri
geo-tri
Latex:
Triangle(a;b;c) == a \mneq{} b \mwedge{} b \mneq{} c \mwedge{} c \mneq{} a
Date html generated:
2017_10_02-PM-06_21_04
Last ObjectModification:
2017_08_05-PM-04_15_36
Theory : euclidean!plane!geometry
Home
Index