Theorem Set.prod_sub_preimage_iff

Modification history