Nuprl Definition : geo-congruent

ab ≅ cd ==  ¬ab # cd)


Definitions occuring in Statement :  geo-length-sep: ab # cd),  not: ¬A
Definitions occuring in definition :  geo-length-sep: ab # cd),  not: ¬A
FDL editor aliases :  geo-cong geo-cong geo-cong
Latex:
ab  \mcong{}  cd  ==    \mneg{}ab  \#  cd)


Date html generated: 2019_10_29-AM-09_12_20
Last ObjectModification: 2019_10_25-PM-01_26_32

Theory : euclidean!plane!geometry


Home Index