Nuprl Definition : subset_iota
subset_iota(psi) == λK,g. g
Definitions occuring in Statement :
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x]
FDL editor aliases :
subset_iota
Latex:
subset\_iota(psi) == \mlambda{}K,g. g
Date html generated:
2016_05_18-PM-01_37_22
Last ObjectModification:
2016_01_30-PM-11_50_49
Theory : cubical!type!theory
Home
Index