Nuprl Definition : geo-midpoint
a=m=b == a_m_b ∧ am ≅ mb
Definitions occuring in Statement :
geo-congruent: ab ≅ cd,
geo-between: a_b_c,
and: P ∧ Q
Definitions occuring in definition :
and: P ∧ Q,
geo-between: a_b_c,
geo-congruent: ab ≅ cd
FDL editor aliases :
eu-midpt
eu-midpt
Latex:
a=m=b == a\_m\_b \mwedge{} am \00D0 mb
Date html generated:
2017_10_02-PM-04_45_34
Last ObjectModification:
2017_08_05-AM-11_45_42
Theory : euclidean!plane!geometry
Home
Index