Theorem Set.pi_subset_pi_iff

Modification history