Commit 2023-02-24 09:35 a379de2a

View on Github →

feat: range (f ∘ e) = range f (#1616) Match https://github.com/leanprover-community/mathlib/pull/18190

Estimated changes

added theorem EquivLike.range_comp