Theorem Ideal.univ_eq_iUnion_image_add

Modification history