Mathlib Changelog
v4
Changelog
About
Github
Theorem
BinaryHeap.size_mkHeap
Modification history
2024-06-26 06:40
Mathlib/Data/BinaryHeap.lean
chore: update Mathlib dependencies 2024-06-26 (#14145) …
Deleted
BinaryHeap.size_mkHeap
View on Github →
2022-06-01 12:17
Mathlib/Data/BinaryHeap.lean
fix: unused arguments (#277)
Modified
BinaryHeap.size_mkHeap
View on Github →
2021-12-16 18:00
Mathlib/Data/BinaryHeap.lean
feat: binary heaps (#136) …
Added
BinaryHeap.size_mkHeap
View on Github →