Theorem Set.smul_set_pi_of_surjective

Modification history