Nuprl Definition : section-iota

section-iota(Gamma;A;I;rho;a) == (canonical-section(Gamma;A;I;rho;a))iota

Definitions occuring in Statement : csm-ap-term: (t)s, canonical-section: canonical-section(Gamma;A;I;rho;a), subset-iota: iota
Definitions occuring in definition : csm-ap-term: (t)s, subset-iota: iota, canonical-section: canonical-section(Gamma;A;I;rho;a)
FDL editor aliases : section-iota

Latex:
section-iota(Gamma;A;I;rho;a) == (canonical-section(Gamma;A;I;rho;a))iota Date html generated: 2016_05_18-PM-01_58_22 Last ObjectModification: 2015_11_09-PM-02_34_50 Theory : cubical!type!theory Home Index