Theorem Fin.coe_sub_iff_le

Modification history