feat(category_theory): regular monos #2154
mergify
merged
11 commits into
master
from
regular_mono
b-mehta
commented
on 2020-03-15
feat(category_theory): regular and normal monos
eac1598a
fixes
2c46a4fb
Apply suggestions from code review
7a3c93f5
shorter proofs
f9755b3f
Merge branch 'regular_mono' of github.com:leanprover-community/mathli…
e332c5ae
Merge remote-tracking branch 'origin/master' into regular_mono
0c4c6e4b
typos, thanks
6710fd27
TwoFX
approved these changes
on 2020-03-18
TwoFX
commented
on 2020-03-18
Update src/category_theory/limits/shapes/regular_mono.lean
914b499d
linting
fe4071f3
Merge branch 'regular_mono' of github.com:leanprover-community/mathli…
02995e35
jcommelin
approved these changes
on 2020-03-19
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&s=60)
Merge branch 'master' into regular_mono
b7148284
Login to write a write a comment.
Login via GitHub