Theorem Set.fst_image_sigma

Modification history