Nuprl Definition : face-comp

face-comp() ==  cop-to-cfun(face_comp())


Definitions occuring in Statement :  face_comp: face_comp(),  comp-op-to-comp-fun: cop-to-cfun(cA)
Definitions occuring in definition :  comp-op-to-comp-fun: cop-to-cfun(cA),  face_comp: face_comp()
FDL editor aliases :  face-comp
Latex:
face-comp()  ==    cop-to-cfun(face\_comp())


Date html generated: 2020_05_20-PM-05_24_21
Last ObjectModification: 2020_02_13-AM-11_38_05

Theory : cubical!type!theory


Home Index