Mathlib v3 is deprecated. Go to Mathlib v4

Theorem le_of_max_le_right

Modification history

2018-08-16 11:23
algebra/order_functions.lean
feat(data/padics): p-adic numbers (#262)
Added le_of_max_le_rightView on Github →