Theorem Set.prod_preimage_left

Modification history