Theorem Set.restrictPreimage_surjective

Modification history