Theorem Order.Ideal.PrimePair.compl_F_eq_I

Modification history