leanprover-community/mathlib3

Pull Requests Commits
.
kim-em committed 3 years ago
033602a3
merge
kim-em committed 3 years ago
631225df
fix
kim-em committed 3 years ago
70ea1a58
fix imports
kim-em committed 3 years ago
5b33cf26
fix
kim-em committed 3 years ago
ee2e9bef
fix
kim-em committed 3 years ago
fa603066
fix
kim-em committed 3 years ago
6a644e55
.
kim-em committed 3 years ago
018369ff
refactor(algebra/order/field): split files
kim-em committed 3 years ago
d62c3b38
merge
kim-em committed 3 years ago
1df2cf96
merge
kim-em committed 3 years ago
0a0372d1
fix
kim-em committed 3 years ago
a1d75616
refactor(algebra/order/ring/basic): split file
kim-em committed 3 years ago
73805281
Merge branch 'algebra_ring_basic2' into algebra_order_ring_basic
kim-em committed 3 years ago
819f8823
Merge branch 'algebra_ring_basic2' into sup5
kim-em committed 3 years ago
1dd8af65
better split
kim-em committed 3 years ago
92b230a4
different split
kim-em committed 3 years ago
75ad56a0
refactor(*): supremum of refactoring PRs #17384 #17398 #17406 #17407 #17408 (#17405)
kim-em committed 3 years ago
ad7038e5
better split
kim-em committed 3 years ago
d52c0454
merge
kim-em committed 3 years ago
a1f4ca2b
Merge branch 'algebra_divisibility' into sup5
kim-em committed 3 years ago
b6995696
merge
kim-em committed 3 years ago
2c0bc3cb
merge
kim-em committed 3 years ago
d01133c4
Merge branch 'algebra_order_sub_basic' into sup5
kim-em committed 3 years ago
0c7b79f5
Merge branch 'algebra_order_monoid_basic' into sup5
kim-em committed 3 years ago
e477763c
fix
kim-em committed 3 years ago
8a6157e3
feat(algebra/category/Module): instances for modules over algebras (#13933)
kim-em committed 3 years ago
6cc39472
fix
kim-em committed 3 years ago
b76edef2
refactor(algebra/euclidean_domain): split files
kim-em committed 3 years ago
671dcbac
minor
kim-em committed 3 years ago
4f49a9e3
Terms Of Use Privacy Policy Refund Policy Impressum