leanprover-community/mathlib3

Pull Requests Commits
fix
kim-em committed 3 years ago
46a05171
merge
kim-em committed 3 years ago
0f807ed3
Merge branch 'algebra_hom_equiv' into algebra_divisibility
kim-em committed 3 years ago
30a87f68
Merge branch 'algebra_hom_equiv' into algebra_order_group_basic
kim-em committed 3 years ago
eb01363b
fix import
kim-em committed 3 years ago
944638c9
refactor(topology/sheaf_condition): remove has_products for restriction to open subspace (#17361)
alreadydone committed 3 years ago
f384f5d1
refactor(algebra/divisibility): split
kim-em committed 3 years ago
f6108a96
.
kim-em committed 3 years ago
b2ff823c
initial
kim-em committed 3 years ago
8ffa7e7c
WIP
kim-em committed 3 years ago
2879ec51
WIP
kim-em committed 3 years ago
d58d260f
fix
kim-em committed 3 years ago
38ef930c
refactor(algebra/order/group/basic): split
kim-em committed 3 years ago
a5ce41d8
merge
kim-em committed 3 years ago
20dbc540
refactor(algebra/hom/equiv): split files
kim-em committed 3 years ago
b5f48259
feat(measure_theory/integral): lintegral_tsum' (#17309)
AlexKontorovich committed 3 years ago
946ab799
refactor(algebra/order/sub/basic): split defs
kim-em committed 3 years ago
a7ea5c30
Merge branch 'algebra_ring_basic' into algebra_order_group_basic
kim-em committed 3 years ago
41fa17df
refactor(algebra/order/monoid/basic): splits defs and basic
kim-em committed 3 years ago
b02bf9a6
feat(data/set/basic): add `mem_ite_empty_left/right` (#17264)
RemyDegenne committed 3 years ago
cbdbfd72
feat(topology/metric_space/hausdorff_distance): A `cthickening` is an intersection of `thickenings` (#17258)
YaelDillies committed 3 years ago
89fd6afc
ci(bors): set update_base_for_deletes (#17410)
eric-wieser committed 3 years ago
6dded232
chore(*): add mathlib3 synchronization labels (#17314)
kim-em committed 3 years ago
d82d6e26
feat(linear_algebra/affine_space/midpoint): `midpoint_eq_left_iff`, `midpoint_eq_right_iff` (#17385)
jsm28 committed 3 years ago
29014241
chore(probability/process/stopping): generalize lemmas about nat-indexed processes to generic types (#17379)
RemyDegenne committed 3 years ago
bea6c853
fix
kim-em committed 3 years ago
97e6c92d
merge
kim-em committed 3 years ago
2730ac77
refactor(algebra/field/basic): split out algebra.field.defs
kim-em committed 3 years ago
038b667a
Merge branch 'algebra_ring_basic' into sup4
kim-em committed 3 years ago
57735821
refactor(algebra/ring/basic): split out algebra.ring.defs
kim-em committed 3 years ago
e2e45be1
Terms Of Use Privacy Policy Refund Policy Impressum