Theorem EquivLike.range_eq_univ

Modification history

2025-03-02 22:57

Mathlib/Logic/Equiv/Set.lean

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

Added EquivLike.range_eq_univ View on Github →