Commit 2023-01-06 17:08 89425a18

View on Github →

feat: Cancelling iterates (#1046) Match https://github.com/leanprover-community/mathlib/pull/17956

Estimated changes