Def NonUnitalSubring.prod

Modification history