Theorem Set.eq_univ_of_image_val_eq

Modification history