Commit 2023-04-20 06:30 ba9ce27a

View on Github →

chore: forward port last part of leanprover-community/mathlib#18248 (#3508)

Estimated changes