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.
chore: forward-port leanprover-community/mathlib#14870 (#4699) This one needed some small changes on top of the mathport output.