Commit 2024-09-19 07:48 1552fec0

View on Github →

feat: generalize Set.restrict_apply to dependent functions (#16928) Generalize Set.restrict_apply to dependent functions.

Estimated changes

modified theorem Set.restrict_apply