Nuprl Definition : equiv-fun

equiv-fun(f) ==  f.1


Definitions occuring in Statement :  cubical-fst: p.1
Definitions occuring in definition :  cubical-fst: p.1
FDL editor aliases :  equiv-fun equiv-fun
Latex:
equiv-fun(f)  ==    f.1


Date html generated: 2016_06_16-PM-01_56_36
Last ObjectModification: 2016_06_03-PM-02_11_19

Theory : cubical!type!theory


Home Index