leanprover-community/mathlib3

Pull Requests Commits
doc(citation.md): Add a citation.md file (#17202)
BoltonBailey committed 3 years ago
e8ecfea7
feat(category_theory/localization): localization of the opposite category (#17199)
joelriou committed 3 years ago
8efef279
refactor(algebra/free): review API, redefine `free_semigroup` (#17144)
urkud committed 3 years ago
c64b9224
feat(linear_algebra): membership of a submodule given a basis of the submodule (#17083)
Vierkantor committed 3 years ago
635bc8db
feat(order/order_iso_nat): value is accessible iff it's not contained in an infinite decreasing sequence (#15927)
vihdzp committed 3 years ago
fe664106
feat(set_theory/game/basic): generalize equivalences to relabellings (#15252)
vihdzp committed 3 years ago
4b788397
downstream imports
kim-em committed 3 years ago
a26cecd2
fix downstream imports
kim-em committed 3 years ago
cd5be3f0
fix downstream imports
kim-em committed 3 years ago
0e1e0adc
fix downstream imports
kim-em committed 3 years ago
6746e3cf
fix
kim-em committed 3 years ago
21649e90
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
Terms Of Use Privacy Policy Refund Policy Impressum