Theorem EquivLike.range_comp

Modification history

2024-04-14 10:41

Mathlib/Data/Set/Image.lean

chore: remove autoImplicit from more files (#11798) …

Modified EquivLike.range_comp View on Github →

2023-02-24 09:35

Mathlib/Data/Set/Image.lean

feat: `range (f ∘ e) = range f` (#1616) …

Added EquivLike.range_comp View on Github →