Commit 2022-11-13 20:12 056cc6b7

View on Github →

chore: update std4 11-13 (#587) The main work is cleaning up all the new linter warnings. Also turns on warningAsError globally, which in particular means that sorrys will break the build; you have to use set_option warningAsError false to locally disable this behavior when needed.

Estimated changes

modified theorem div_mul_div_cancel''
modified theorem div_mul_mul_cancel
modified theorem mul_div_cancel'_right
modified theorem mul_div_div_cancel
modified theorem mul_mul_div_cancel
modified theorem mul_mul_inv_cancel'_right