Theorem Set.restrictPreimage_bijective

Modification history