Theorem Set.prod_subset_preimage_snd

Modification history