Theorem Order.Ideal.coe_subset_coe

Modification history