Theorem map_div_le_add

Modification history

2023-05-07 05:02

Mathlib/Algebra/Order/Hom/Basic.lean

chore: bye-bye, solo `by`s! (#3825) …

Modified map_div_le_add View on Github →

2023-02-27 14:49

Mathlib/Algebra/Order/Hom/Basic.lean

forward port changes to Algebra.Order.Hom.Basic (#2401) …

Added map_div_le_add View on Github →