Theorem Subfield.coe_sSup_of_directedOn

Modification history