Theorem abs_nnqsmul

Modification history

2024-07-30 16:56
Mathlib/Algebra/Order/Module/Rat.lean
feat: Monotonicity of multiplication by positive rationals (#15328) …
Added abs_nnqsmulView on Github →