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