Nuprl Definition : is-rat-cube-face

is-rat-cube-face(k;c;d) ==  isl(rat-cube-face-decider(k;c;d))


Definitions occuring in Statement :  rat-cube-face-decider: rat-cube-face-decider(k;c;d),  isl: isl(x)
Definitions occuring in definition :  rat-cube-face-decider: rat-cube-face-decider(k;c;d),  isl: isl(x)
FDL editor aliases :  is-rat-cube-face
Latex:
is-rat-cube-face(k;c;d)  ==    isl(rat-cube-face-decider(k;c;d))


Date html generated: 2019_10_29-AM-07_50_10
Last ObjectModification: 2019_10_19-AM-10_45_47

Theory : rationals


Home Index