Nuprl Definition : geo-cong-tri
Cong3(abc,a'b'c') == ab ≅ a'b' ∧ bc ≅ b'c' ∧ ca ≅ c'a'
Definitions occuring in Statement :
geo-congruent: ab ≅ cd,
and: P ∧ Q
Definitions occuring in definition :
and: P ∧ Q,
geo-congruent: ab ≅ cd
FDL editor aliases :
eu-cong3
eu-cong3
Latex:
Cong3(abc,a'b'c') == ab \00D0 a'b' \mwedge{} bc \00D0 b'c' \mwedge{} ca \00D0 c'a'
Date html generated:
2017_10_02-PM-06_24_23
Last ObjectModification:
2017_08_05-PM-04_18_24
Theory : euclidean!plane!geometry
Home
Index