Theorem Order.Ideal.isPrime_iff_mem_or_mem

Modification history