Def NonUnitalSubring.closureNonUnitalCommRingOfComm

Modification history