Nuprl Definition : pgeo-incident-class
pc I lc == ¬pc # lc
Definitions occuring in Statement :
pgeo-plsep-class: pc # lc,
not: ¬A
Definitions occuring in definition :
not: ¬A,
pgeo-plsep-class: pc # lc
FDL editor aliases :
pgeo-incident-class
Latex:
pc I lc == \mneg{}pc \# lc
Date html generated:
2018_05_22-PM-00_56_54
Last ObjectModification:
2018_01_03-PM-03_51_41
Theory : euclidean!plane!geometry
Home
Index