Theorem Equiv.strictMono_setCongr

Modification history

2026-08-31 14:42
Mathlib/Logic/Equiv/Set.lean
chore: rename `Equiv.Set.congr` to `Set.equivOfEq` (#43200) …
Deleted Equiv.strictMono_setCongrView on Github →
2026-05-25 15:44
Mathlib/Logic/Equiv/Set.lean
fix: decls with a non-consecutive duplicate namespace (#39794) …
Added Equiv.strictMono_setCongrView on Github →