Commit 2026-07-08 08:03 7de2be8d
View on Github →chore: remove some unused instance arguments (#41470)
Removes some unused instance arguments in private declarations. Found by leanprover-community/batteries#1831. Also uses _ for intentionally unused arguments instead of setting the linter option, as this is respected by the unusedArguments linter as well.