mathlib3
feat(algebra/group/units): add some lemmas about `divp`
#1388
Merged
Overview
Commits
4
Changes
View On GitHub
Commits
  • feat(algebra/group/units): add some lemmas about `divp`
    urkud committed 7 years ago
  • Rename lemmas, add new ones
    urkud committed 7 years ago
  • Merge branch 'master' into units-lemmas
    urkud committed 7 years ago
  • Merge branch 'master' into units-lemmas
    mergify[bot] committed 7 years ago
FAQ Terms Privacy Refunds Impressum
Loading