Theorem Order.Ideal.coe_sSubset_coe

Modification history