Theorem NonUnitalSubsemiring.map_iSup

Modification history