Theorem Set.pi_univ_ite

Modification history