mathlib3
feat(category_theory): regular monos
#2154
Merged
Overview
Commits
11
Changes
View On GitHub
Commits
  • feat(category_theory): regular and normal monos
    kim-em committed 6 years ago
  • fixes
    kim-em committed 6 years ago
  • Apply suggestions from code review
    kim-em committed 6 years ago
  • shorter proofs
    kim-em committed 6 years ago
  • Merge branch 'regular_mono' of github.com:leanprover-community/mathlib into regular_mono
    kim-em committed 6 years ago
  • Merge remote-tracking branch 'origin/master' into regular_mono
    kim-em committed 6 years ago
  • typos, thanks
    kim-em committed 6 years ago
  • Update src/category_theory/limits/shapes/regular_mono.lean
    kim-em committed 6 years ago
  • linting
    kim-em committed 6 years ago
  • Merge branch 'regular_mono' of github.com:leanprover-community/mathlib into regular_mono
    kim-em committed 6 years ago
  • Merge branch 'master' into regular_mono
    mergify[bot] committed 6 years ago
FAQ Terms Privacy Refunds Impressum
Loading