Nuprl Definition : munit

g-unit(u) ==  u | e


Definitions occuring in Statement :  mdivides: b | a,  grp_id: e
Definitions occuring in definition :  mdivides: b | a,  grp_id: e
Latex:
g-unit(u)  ==    u  |  e


Date html generated: 2016_05_16-AM-07_43_05
Last ObjectModification: 2015_09_23-AM-09_51_50

Theory : factor_1


Home Index