Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-08-08 00:44 fe7cd33c

View on Github →

refactor(category_theory/products): tweak PR after merge

Estimated changes

added def is_glb
added def is_greatest
added def is_least
added def is_lub
added def lower_bounds
added def upper_bounds