Theorem Function.Surjective.range_comp

Modification history

2024-04-14 10:41
Mathlib/Data/Set/Image.lean
chore: remove autoImplicit from more files (#11798) …
Modified Function.Surjective.range_compView on Github →
2023-02-24 09:35
Mathlib/Data/Set/Image.lean
feat: `range (f ∘ e) = range f` (#1616) …
Modified Function.Surjective.range_compView on Github →
2022-12-12 07:45
Mathlib/Data/Set/Image.lean
feat: Port Data.Set.Image (#949) …
Added Function.Surjective.range_compView on Github →