Commit 2021-02-09 11:14 aaab1139
View on Github →refactor(linear_algebra/prod): split out prod and coprod defs and lemmas (#6059) Lemmas are moved without modification. I expect this will take a few builds of adding missing imports.
refactor(linear_algebra/prod): split out prod and coprod defs and lemmas (#6059) Lemmas are moved without modification. I expect this will take a few builds of adding missing imports.