Theorem Set.restrict_id

Modification history

2025-04-15 07:29
Mathlib/Data/Set/Restrict.lean
feat(Set): restricting the identity function (#23995)
Added Set.restrict_idView on Github →