Commit 2019-09-13 07:38 e3234f04
View on Github →feat(algebra/ring): add coercions from →+* to →* and →+ (#1435)
- feat(algebra/ring): add coercions from →+* to →* and →+
- two lemmas simplifying casts
- add squash_cast attributes
feat(algebra/ring): add coercions from →+* to →* and →+ (#1435)