Theorem NonUnitalSubsemiring.map_map

Modification history