Theorem Set.restrictPreimage_inducing

Modification history