Theorem NonUnitalSubring.map_sup

Modification history