Def Set.image

Modification history

2024-07-03 14:53

Mathlib/Init/Set.lean

chore(Mathlib/Init): remove autoImplicit (#14355) …

Modified Set.image View on Github →

2023-06-02 06:13

Mathlib/Init/Set.lean

fix: spacing and indentation in tactic formatters (#4519) …

Modified Set.image View on Github →

2021-05-25 13:38

Mathlib/Set.lean

feat(Set): port Lean 3 init.data.set (#8) …

Added Set.image View on Github →