leanprover-community/mathlib

Pull Requests Commits
blah
bottine committed 2 years ago
0de6c110
notation because why not
bottine committed 2 years ago
6d98895a
a bit of a todo
bottine committed 2 years ago
2de34c34
even more sorrys
bottine committed 2 years ago
1c9468d0
plenty of sorrys
bottine committed 2 years ago
b6454796
pffh
bottine committed 2 years ago
34524fac
very dirty commit
bottine committed 2 years ago
db3d53cb
wip
bottine committed 2 years ago
955c494f
dirty commit
bottine committed 2 years ago
cab7d0bf
still
bottine committed 2 years ago
0702db0a
difficulties
bottine committed 2 years ago
e2c61271
wip
bottine committed 2 years ago
a294f565
wip
bottine committed 2 years ago
1f635744
Merge remote-tracking branch 'origin/master' into bottine/combinatorics.quiver/schreier
bottine committed 2 years ago
d1fb0e76
back
bottine committed 2 years ago
0bb0bf95
trying to simplify prefunctor.path_star_bijective
bottine committed 2 years ago
07ef6f4f
Update src/combinatorics/quiver/covering.lean
bottine committed 2 years ago
Verified 894a25a2
chore(*): add mathlib4 synchronization comments (#18464)
leanprover-community-bot committed 2 years ago
23aa88e3
refactor(linear_algebra/bilinear_map): move lemmas about `basis` to a new file. (#18468)
eric-wieser committed 2 years ago
87c54600
feat(data/prod): bijectivity of prod.map (#18446)
eric-wieser committed 2 years ago
bd9851ca
chore(linear_algebra/prod): add a missing lemma (#18445)
eric-wieser committed 2 years ago
57a30493
chore(number_theory/sum_four_squares): squeeze simps (#18467)
eric-wieser committed 2 years ago
f434b205
feat(probability/kernel/basic): add kernel.with_density (#18463)
RemyDegenne committed 2 years ago
31a8a276
feat(algebra/quandle): Unital shelves (#17839)
kisonecat committed 2 years ago
28aa996f
chore(*): add mathlib4 synchronization comments (#18450)
leanprover-community-bot committed 2 years ago
e97cf15c
chore(number_theory/sum_four_squares): squeeze simps (#18461)
eric-wieser committed 2 years ago
297619ec
doc(algebra/continued_fractions/*): TeXify docstrings (#18459)
MichaelStollBayreuth committed 2 years ago
2738d2ca
fix(ring_theory/derivation): speed up a slow definition (#18457)
eric-wieser committed 2 years ago
0324bd3f
feat(measure_theory/integral): break up integrals into sums (#18425)
loefflerd committed 2 years ago
e7286cac
ci(.github/workflows): lint for formatting issues in references.bib (#16614)
Ruben-VandeVelde committed 2 years ago
973ed779
Terms Of Use Privacy Policy Refund Policy Impressum