Commit 2019-09-16 09:26 d7f0e686
View on Github →chore(algebra/group,logic/relator): review some explicit/implicit args (#1441)
- chore(algebra/group,logic/relator): review some explicit/implicit arguments
- ring_hom.ext too
chore(algebra/group,logic/relator): review some explicit/implicit args (#1441)