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