Theorem RelIso.range_eq

Modification history

2025-03-02 22:57

Mathlib/Order/RelIso/Set.lean

chore: cleanup another `erw` by generalizing `Equiv.range_eq_univ` to EquivLike (#21710)

Modified RelIso.range_eq View on Github →

2022-12-14 09:34

Mathlib/Order/RelIso/Set.lean

feat port: Order.RelIso.Set (#1005) …

Added RelIso.range_eq View on Github →