Theorem NonUnitalSubsemiring.coe_supᵢ_of_directed

Modification history