Nuprl Definition : csm-ap

(s)x ==  s I x


Definitions occuring in Statement :  apply: f a
Definitions occuring in definition :  apply: f a
FDL editor aliases :  csm-ap csm-ap
Latex:
(s)x  ==    s  I  x


Date html generated: 2016_05_18-PM-00_07_40
Last ObjectModification: 2015_10_28-PM-03_36_32

Theory : cubical!type!theory


Home Index