Nuprl Definition : cube_set_map
A ⟶ B == A ⟶ B
Definitions occuring in Statement :
cube-cat: CubeCat,
psc_map: A ⟶ B
Definitions occuring in definition :
psc_map: A ⟶ B,
cube-cat: CubeCat
FDL editor aliases :
cube_set_map
Latex:
A {}\mrightarrow{} B == A {}\mrightarrow{} B
Date html generated:
2018_05_23-AM-08_34_42
Last ObjectModification:
2018_02_22-PM-01_52_50
Theory : cubical!type!theory
Home
Index