mathlib3
feat(zmod/basic)
#18953
Open
Overview
Commits
9
Changes
View On GitHub
Commits
  • changed to appropriate locations
    laughinggas committed 2 years ago
  • lint error
    laughinggas committed 2 years ago
  • sorting out linter
    laughinggas committed 2 years ago
  • removed references to implicit variables
    laughinggas committed 2 years ago
  • added namespace for crt lemmas
    laughinggas committed 2 years ago
  • suggested changes 1
    laughinggas committed 2 years ago
  • added discrete topology to mul_opposite
    laughinggas committed 2 years ago
  • adding additive structure to instance
    laughinggas committed 2 years ago
  • suggested changes 2
    laughinggas committed 2 years ago
FAQ Terms Privacy Refunds Impressum
Loading