Theorem Set.pi_diff_pi_subset

Modification history