Theorem Set.prod_insert

Modification history