leanprover-community/mathlib3

Pull Requests Commits
updating names
kim-em committed 4 years ago
3a7dd869
Merge branch 'homology2' into complex_ses
kim-em committed 4 years ago
9f37c5ad
update to PRs
kim-em committed 4 years ago
434ce9cb
fix merge
kim-em committed 4 years ago
dcacd11a
merge?
kim-em committed 4 years ago
13639a1d
long line
kim-em committed 4 years ago
d4746891
feat(category_theory/subobjects): improvements to API
kim-em committed 4 years ago
42dad97f
Merge branch 'image_lemma' into subobject_revisions
kim-em committed 4 years ago
0d5f909c
Merge branch 'kernel_lemmas' into subobject_revisions
kim-em committed 4 years ago
a36539b6
update name
kim-em committed 4 years ago
5a941f62
feat(category_theory/images): instance for precomposition by iso
kim-em committed 4 years ago
e3e34fe1
Merge branch 'functor_category_has_zero_morphisms' into homology2
kim-em committed 4 years ago
7deded5d
merge
kim-em committed 4 years ago
41268bf1
merge
kim-em committed 4 years ago
59d41c29
feat(category_theory/kernels): mild generalization of lemma
kim-em committed 4 years ago
42265785
feat(category_theory/limits/terminal): constructor for is_terminal
kim-em committed 4 years ago
245f946a
feat(category_theory/limits/zero): functor categories have zero morphisms
kim-em committed 4 years ago
a2bcfff3
Merge remote-tracking branch 'origin/master' into homology2
kim-em committed 4 years ago
7843f735
cleanup
kim-em committed 4 years ago
9920648f
minor
kim-em committed 4 years ago
141a59d9
progress
kim-em committed 4 years ago
93741f7e
fix(order/complete_lattice): fix typo in docstring (#6925)
ericrbg committed 4 years ago
8e275a30
feat(measure_theory/lp_space): bounded continuous functions are in Lp (#6878)
hrmacbeth committed 4 years ago
a17f38f2
projections from product of modules are linear
kbuzzard committed 4 years ago
48998760
feat(order/bounded_lattice): is_total, coe_sup and unique_maximal lemmas (#6922)
agjftucker committed 4 years ago
4487e739
feat(data/complex/circle): circle is a Lie group (#6907)
hrmacbeth committed 4 years ago
7285fb65
tidying up
kbuzzard committed 4 years ago
af2349af
fix(topology/algebra/mul_action): fix typo in instance name (#6921)
eric-wieser committed 4 years ago
accb9d2d
homotopic maps induce equal maps on homology
kim-em committed 4 years ago
9df8c90d
exact in the middle
kbuzzard committed 4 years ago
4f676b81
Terms Of Use Privacy Policy Refund Policy Impressum