Theorem Set.prod_inter

Modification history