Theorem units.mul_coe
Modification history
2018-10-01 20:53
algebra/group.lean
feat(data/zmod/quadratic_reciprocity): quadratic reciprocity (#327) …
Deleted units.mul_coeView on Github →2018-08-04 18:47
algebra/group.lean
feat(algebra/ring): units.neg and associated matter
Modified units.mul_coeView on Github →