Commit 2023-05-18 17:21 e12177d3

View on Github →

chore: forward port leanprover-community/mathlib#19025, 18982 (#4076)

  • leanprover-community/mathlib#19025 (already changed while porting)
  • leanprover-community/mathlib#18982

Estimated changes