Mathlib v3 is deprecated. Go to Mathlib v4

Def upper_bounds

Modification history

2021-08-07 22:04

src/order/bounds.lean

fix(order/bounds): remove double space (#8575)

Modified upper_bounds View on Github →

2019-11-17 17:46

src/order/bounds.lean

refactor(order/bounds): make the first argument of `x ∈ upper_bounds s` implicit (#1691) …

Modified upper_bounds View on Github →

2018-08-08 00:44

order/bounds.lean

refactor(category_theory/products): tweak PR after merge

Added upper_bounds View on Github →