Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-09-17 11:58 e9af59de

View on Github →

feat(algebra/order_functions): add simp rules for min/max_eq_left/right (closes #306)

Estimated changes

Modified algebra/field_power.lean

modified def fpow

modified theorem fpow_add

modified theorem fpow_inv

modified theorem pow_le_max_of_min_le

Modified algebra/order_functions.lean

modified theorem min_add

modified theorem min_sub

Modified analysis/measure_theory/lebesgue_measure.lean

Modified computability/partrec_code.lean

Modified data/list/basic.lean