Nuprl Definition : nsgrp_of_ideal

a↓+nsgp ==  a


Latex:
a\mdownarrow{}+nsgp  ==    a



Date html generated: 2016_05_15-PM-00_23_24
Last ObjectModification: 2015_09_23-AM-06_25_53

Theory : rings_1


Home Index