Nuprl Definition : swap-intervals
swap-intervals(G) == csm-swap(G;𝕀;𝕀)
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-intervals
Latex:
swap-intervals(G) == csm-swap(G;\mBbbI{};\mBbbI{})
Date html generated:
2016_07_08-PM-06_12_54
Last ObjectModification:
2016_06_23-PM-01_26_10
Theory : cubical!type!theory
Home
Index