Nuprl Definition : subset-iota
iota == λ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:
iota == \mlambda{}K,g. g
Date html generated:
2016_05_18-PM-01_37_11
Last ObjectModification:
2015_10_28-AM-10_30_12
Theory : cubical!type!theory
Home
Index