Commit 2020-10-30 08:20 5ae192eb
View on Github →feat(data/equiv, algebra/*): Add simps projections to many equivs and homs (#4818) This doesn't actually change any existing lemmas to use these projections.
feat(data/equiv, algebra/*): Add simps projections to many equivs and homs (#4818) This doesn't actually change any existing lemmas to use these projections.