Theorem Set.restrict_apply

Modification history