Theorem NonUnitalSubsemiring.comap_comap

Modification history