Theorem Set.eval_image_univ_pi

Modification history