Theorem Set.one_prod_one

Modification history