Commit 2023-12-07 16:10 9c4be1c2

View on Github →

chore: Change arguments to smul_le_smul (#8870) This matches mul_le_mul. The old version will be made a lemma again in #8869.

Estimated changes

modified theorem smul_le_smul