Theorem Ideal.infᵢ_sup_eq_top

Modification history