Theorem NonUnitalSubsemiring.mem_sSup_of_directedOn

Modification history