Theorem Set.prod_subset_preimage_fst

Modification history