Nuprl Definition : complete-pgeo-dual
complete-pgeo-dual(pg;l) == mk-complete-pgeo(pg*;l)
Definitions occuring in Statement :
pgeo-dual: pg*,
mk-complete-pgeo: mk-complete-pgeo(pg;p)
Definitions occuring in definition :
mk-complete-pgeo: mk-complete-pgeo(pg;p),
pgeo-dual: pg*
FDL editor aliases :
complete-pgeo-dual
Latex:
complete-pgeo-dual(pg;l) == mk-complete-pgeo(pg*;l)
Date html generated:
2018_05_22-PM-00_28_42
Last ObjectModification:
2017_11_27-PM-04_01_29
Theory : euclidean!plane!geometry
Home
Index