Mathlib v3 is deprecated. Go to Mathlib v4

Def is_greatest

Modification history

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