Mathlib Changelog
v4
Changelog
About
Github
Theorem
monotone_div_right_of_nonneg
Modification history
2024-03-07 06:34
Mathlib/Algebra/Order/Field/Basic.lean
chore: Rename monotonicity of `/` lemmas (#10634) …
Added
monotone_div_right_of_nonneg
View on Github →