Theorem Order.Ideal.mem_infₛ

Modification history