Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-07-19 15:47 c55cadbc

View on Github →

chore(order/upper_lower): fix typo (#15517)

Estimated changes

added theorem upper_set.Ici_le_Ioi
deleted theorem upper_set.Icoi_le_Ioi