Theorem Set.strictMono_equivOfEq

Modification history

2026-08-31 14:42

Mathlib/Logic/Equiv/Set.lean

chore: rename `Equiv.Set.congr` to `Set.equivOfEq` (#43200) …

Added Set.strictMono_equivOfEq View on Github →