Nuprl Definition : equiv-witness
equiv-witness(f;cntr) == cubical-pair(f;cntr)
Definitions occuring in Statement :
cubical-pair: cubical-pair(u;v)
Definitions occuring in definition :
cubical-pair: cubical-pair(u;v)
FDL editor aliases :
equiv-witness
Latex:
equiv-witness(f;cntr) == cubical-pair(f;cntr)
Date html generated:
2017_01_10-AM-08_57_35
Last ObjectModification:
2016_11_30-PM-04_43_56
Theory : cubical!type!theory
Home
Index