Nuprl Definition : eu-cong-tri
Cong3(abc,a'b'c') == ab=a'b' ∧ bc=b'c' ∧ ca=c'a'
Definitions occuring in Statement :
eu-congruent: ab=cd,
and: P ∧ Q
Definitions occuring in definition :
and: P ∧ Q,
eu-congruent: ab=cd
FDL editor aliases :
eu-cong3
Latex:
Cong3(abc,a'b'c') == ab=a'b' \mwedge{} bc=b'c' \mwedge{} ca=c'a'
Date html generated:
2016_05_18-AM-06_41_53
Last ObjectModification:
2015_09_23-AM-09_00_22
Theory : euclidean!geometry
Home
Index