Theorem Set.prod_preimage_right

Modification history