Theorem WithBot.range_eq

Modification history

2025-03-03 13:51

Mathlib/Data/Set/Image.lean

chore: move order-related code out of Data.Set.Image (#22496) …

Modified WithBot.range_eq View on Github →

2022-12-12 07:45

Mathlib/Data/Set/Image.lean

feat: Port Data.Set.Image (#949) …

Added WithBot.range_eq View on Github →