Commit 2023-06-14 02:02 6dc7173b

View on Github →

chore: forward-port leanprover-community/mathlib#14870 (#4699) This one needed some small changes on top of the mathport output.

Estimated changes