Commit 2023-04-24 04:16 db7b6d27

View on Github →

feat: forward-port leanprover-community/mathlib#18517 (#2543) Matches https://github.com/leanprover-community/mathlib/pull/18517 This result is required in #2508.

Estimated changes