Theorem NonUnitalSubsemiring.comap_infᵢ

Modification history