Theorem Order.Ideal.coe_ssubset_coe

Modification history