Commit 2024-10-05 15:16 c241e021

View on Github →

chore: remove some unused variables (#17386) Found by the unused variable command linter (in progress).

Estimated changes

modified theorem mul_div_cancel_left₀
modified theorem mul_div_cancel_right₀