Theorem Submonoid.coe_sSup_of_directedOn

Modification history