Commit 2023-02-28 14:15 7ca25b3a

View on Github →

chore: forward-port leanprover-community/mathlib#15910 (#2538)

Estimated changes