Commit 2022-06-01 12:17 6edcbb33

View on Github →

fix: unused arguments (#277)

Estimated changes

Modified Mathlib/Data/BinaryHeap.lean

modified theorem BinaryHeap.size_mkHeap

Modified Mathlib/Data/List/Basic.lean

modified theorem List.get_zero

modified theorem List.leftpad_prefix

modified theorem List.leftpad_suffix

Modified Mathlib/Data/UnionFind.lean

Modified Mathlib/Tactic/Core.lean

modified def Lean.setProtected

Modified Mathlib/Testing/SlimCheck/Testable.lean

modified def SlimCheck.retry