Commit 2023-06-19 13:10 02b5eebc
View on Github →chore: cleanup CategoryTheory.Pi.Basic (#5180)
While experimenting with making ext more powerful a proof was failing here. Rather than fix it, it seemed easier to just remove it.
chore: cleanup CategoryTheory.Pi.Basic (#5180)
While experimenting with making ext more powerful a proof was failing here. Rather than fix it, it seemed easier to just remove it.