Theorem Set.image3_mono

Modification history

2023-12-22 20:59

Mathlib/Data/Set/NAry.lean

chore(Set/NAry): drop `Set.image3` (#9221) …

Deleted Set.image3_mono View on Github →

2022-12-13 10:38

Mathlib/Data/Set/NAry.lean

feat port: Data.Set.NAry (#969) …

Added Set.image3_mono View on Github →