Theorem NonUnitalSubsemiring.map_supᵢ

Modification history