Nuprl Definition : swap-interval

swap-interval(G;A) ==  csm-swap(G;𝕀;A)



Definitions occuring in Statement :  interval-type: 𝕀 csm-swap: csm-swap(G;A;B)
Definitions occuring in definition :  csm-swap: csm-swap(G;A;B) interval-type: 𝕀
FDL editor aliases :  swap-interval

Latex:
swap-interval(G;A)  ==    csm-swap(G;\mBbbI{};A)



Date html generated: 2016_07_08-PM-06_12_26
Last ObjectModification: 2016_06_21-PM-01_49_06

Theory : cubical!type!theory


Home Index