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.
feat: forward-port leanprover-community/mathlib#18517 (#2543) Matches https://github.com/leanprover-community/mathlib/pull/18517 This result is required in #2508.