Commit 2025-04-15 07:29 f1c60d39

View on Github →

feat(Set): restricting the identity function (#23995)

Estimated changes

added theorem Set.restrict_id