Commit 2019-09-10 11:26 0935e8bf
View on Github →feat(algebra/group/units): add some lemmas about divp
(#1388)
- feat(algebra/group/units): add some lemmas about
divp
- Rename lemmas, add new ones
feat(algebra/group/units): add some lemmas about divp
(#1388)
divp