Mathlib v3 is deprecated. Go to Mathlib v4

Def lower_bounds

Modification history

2019-11-17 17:46

src/order/bounds.lean

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

Modified lower_bounds View on Github →

2018-08-08 00:44

order/bounds.lean

refactor(category_theory/products): tweak PR after merge

Added lower_bounds View on Github →