Theorem Set.prod_pow

Modification history