Theorem Set.piMap_image_univ_pi

Modification history