Theorem Set.pi_inter_distrib

Modification history