Theorem Set.prod_sdiff_diagonal

Modification history