Theorem Order.Ideal.coe_infₛ

Modification history