Theorem Antitone.mul_strictAnti'

Modification history

2023-01-23 12:02
Mathlib/Algebra/Order/Monoid/Lemmas.lean
chore: tidy various files (#1693)
Added Antitone.mul_strictAnti'View on Github →