Theorem Set.sigma_subset_preimage_fst

Modification history