Def NonUnitalSubring.prodEquiv

Modification history