Theorem Order.Ideal.toLowerSet_injective

Modification history