Theorem Set.restrict_id

Modification history

2026-07-20 01:34

Mathlib/Data/Set/Restrict.lean

refactor: rename restrict to domRestrict (#25980) …

Deleted Set.restrict_id View on Github →

2025-04-15 07:29

Mathlib/Data/Set/Restrict.lean

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

Added Set.restrict_id View on Github →