Mathlib v3 is deprecated. Go to Mathlib v4

Def is_least

Modification history

2018-08-08 00:44
order/bounds.lean
refactor(category_theory/products): tweak PR after merge
Added is_leastView on Github →