Theorem Set.inv_prod

Modification history