Nuprl Definition : eu-midpoint
a=m=b == a_m_b ∧ am=mb
Definitions occuring in Statement :
eu-between-eq: a_b_c,
eu-congruent: ab=cd,
and: P ∧ Q
Definitions occuring in definition :
and: P ∧ Q,
eu-between-eq: a_b_c,
eu-congruent: ab=cd
FDL editor aliases :
eu-midpt
Latex:
a=m=b == a\_m\_b \mwedge{} am=mb
Date html generated:
2016_05_18-AM-06_42_16
Last ObjectModification:
2015_09_23-AM-09_00_27
Theory : euclidean!geometry
Home
Index