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