Nuprl Definition : csm-type-ap

csm-type-ap(A;s) ==  (A)s


Wellformedness Lemmas :  csm-type-ap_wf
Definitions occuring in Statement :  csm-ap-type: (AF)s
Definitions occuring in definition :  csm-ap-type: (AF)s
FDL editor aliases :  csm-type-ap csm-type-ap
Latex:
csm-type-ap(A;s)  ==    (A)s


Date html generated: 2016_06_16-PM-05_39_25
Last ObjectModification: 2016_03_13-PM-03_19_35

Theory : cubical!sets


Home Index