leanprover-community/mathlib3

Pull Requests Commits
Merge branch 'order_bounds' into sup
kim-em committed 3 years ago
52616b52
fix
kim-em committed 3 years ago
9b17be4d
fix
kim-em committed 3 years ago
6ac81470
?
kim-em committed 3 years ago
6c98491b
Merge branch 'pairwise' into sup
kim-em committed 3 years ago
496ab25b
refactor(data/set/pairwise): split file
kim-em committed 3 years ago
8f75daff
chore(data/nat/order): move some results about range succ (#17365)
Ruben-VandeVelde committed 3 years ago
228404df
chore(algebra/order/field): split out file about powers (#17352)
kim-em committed 3 years ago
f8f8be9a
.
kim-em committed 3 years ago
b55bdec3
merge
kim-em committed 3 years ago
513053ae
merge
kim-em committed 3 years ago
6ca7975a
chore(order/complete_lattice): don't import data.nat.order
kim-em committed 3 years ago
ad3a37c5
fix downstream imports
kim-em committed 3 years ago
996f5543
fix
kim-em committed 3 years ago
cd0e9529
fix downstream imports
kim-em committed 3 years ago
73badd1a
Merge branch 'master' into pnat
urkud committed 3 years ago
671f062c
fix
kim-em committed 3 years ago
81988acd
merge
kim-em committed 3 years ago
255101c1
fix
kim-em committed 3 years ago
d4ed97bd
fix
kim-em committed 3 years ago
aa72def5
refactor(order/bounds): don't depend on ordered algebra hierarchy
kim-em committed 3 years ago
d6e5d9df
fixes
kim-em committed 3 years ago
951bf0fb
fix
kim-em committed 3 years ago
1cf18028
Merge branch 'split_order_ring' into sup
kim-em committed 3 years ago
4afffd83
oops
kim-em committed 3 years ago
d2534de6
module docs
kim-em committed 3 years ago
1ea1a32f
chore(data/int/basic): split file (#17342)
kim-em committed 3 years ago
11613e28
Merge branch 'data_nat_cast' of github.com:leanprover-community/mathlib into data_nat_cast
kim-em committed 3 years ago
8e931f78
fix imports
kim-em committed 3 years ago
4293af1a
Merge remote-tracking branch 'origin/master' into data_nat_cast
kim-em committed 3 years ago
2adcae01
Terms Of Use Privacy Policy Refund Policy Impressum