Commit 2024-02-03 14:26 57408307

View on Github →

feat: r • x / y = r • (x / y) (#10211) From LeanAPAP

Estimated changes

added theorem smul_div_assoc