Def OrderIso.IciBot

Modification history

2024-04-14 10:41

Mathlib/Data/Set/Intervals/OrderIso.lean

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

Modified OrderIso.IciBot View on Github →

2022-12-16 12:16

Mathlib/Data/Set/Intervals/OrderIso.lean

feat: port Data.Set.Intervals.OrderIso (#1067) …

Added OrderIso.IciBot View on Github →