Theorem Set.univ_pi_singleton

Modification history