Theorem Set.pi_inter_compl

Modification history