Commit 2020-07-28 20:12 4ae8752c
View on Github →chore(data/mv_polynomial): use bundled homs (#3595) I've done a lot of the scut work, but there are still about half a dozen broken proofs, if anyone would like to take a bash at them!
chore(data/mv_polynomial): use bundled homs (#3595) I've done a lot of the scut work, but there are still about half a dozen broken proofs, if anyone would like to take a bash at them!