Theorem Set.dcomp_image_univ_pi

Modification history