mathlib3
feat(algebra/pointwise): More lemmas on pointwise multiplication
#997
Merged
Overview
Commits
5
Changes
View On GitHub
Commits
  • feat(algebra/pointwise): More lemmas on pointwise multiplication
    jcommelin committed 6 years ago
  • Fix build, hopefully
    jcommelin committed 6 years ago
  • Fix build
    jcommelin committed 6 years ago
  • to_additive + fix formatting
    jcommelin committed 6 years ago
  • Merge branch 'master' into pointwise-more
    jcommelin committed 6 years ago
FAQ Terms Privacy Refunds Impressum
Loading