Theorem Set.fst_image_sigma_subset

Modification history