mathlib3
chore(category_theory): using simps
#1500
Merged
Overview
Commits
6
Changes
View On GitHub
Commits
  • chore(category_theory): using simps
    Scott Morrison committed 6 years ago
  • more simps
    Scott Morrison committed 6 years ago
  • remove simp lemma
    Scott Morrison committed 6 years ago
  • revertings overlapping @[simps]
    Scott Morrison committed 6 years ago
  • Merge branch 'master' into category_theory_simps
    kim-em committed 6 years ago
  • Merge branch 'master' into category_theory_simps
    mergify[bot] committed 6 years ago
FAQ Terms Privacy Refunds Impressum
Loading