Theorem Set.mk_preimage_prod_left

Modification history