Nuprl Definition : qsquash

⇃T ==  ⇃(T)


Definitions occuring in Statement :  quotient: x,y:A//B[x; y],  true: True
Definitions occuring in definition :  quotient: x,y:A//B[x; y],  true: True
FDL editor aliases :  qsquash_old
Latex:
\00D9T  ==    \00D9(T)


Date html generated: 2016_05_14-AM-06_09_04
Last ObjectModification: 2015_09_22-PM-05_46_13

Theory : quot_1


Home Index