Nuprl Definition : neg-bool-trans

neg-bool-trans() ==  path-trans(();EquivPath(();Bool;Bool;bool-negation-equiv(())))


Definitions occuring in Statement :  bool-negation-equiv: bool-negation-equiv(X),  cubical-bool: Bool,  path-trans: path-trans(G;p),  equiv-path: EquivPath(G;A;B;f),  trivial-cube-set: ()
Definitions occuring in definition :  trivial-cube-set: (),  bool-negation-equiv: bool-negation-equiv(X),  cubical-bool: Bool,  equiv-path: EquivPath(G;A;B;f),  path-trans: path-trans(G;p)
FDL editor aliases :  neg-bool-trans
Latex:
neg-bool-trans()  ==    path-trans(();EquivPath(();Bool;Bool;bool-negation-equiv(())))


Date html generated: 2017_02_21-AM-11_05_14
Last ObjectModification: 2017_02_13-PM-05_35_57

Theory : cubical!type!theory


Home Index