leanprover-community/mathlib

Pull Requests Commits

feat(data/finset): existence of a smaller set (#2420)

b-mehta committed 5 years ago

66cc2980

chore(scripts): update nolints.txt (#2425)

leanprover-community-bot committed 5 years ago

8510f07e

fix(data/zmod/basic): typo (#2424)

kbuzzard committed 5 years ago

1e212d7d

feat(category_theory/limits): special shapes API cleanup (#2423)

TwoFX committed 5 years ago

ce72cde8

feat(library_search): (efficiently) try calling symmetry before searching the library (#2415)

kim-em committed 5 years ago

9b797ee3

chore(category_theory/limits): remove dependency on concrete_categories (#2411)

kim-em committed 5 years ago

8e8037f5

chore(scripts): update nolints.txt (#2418)

leanprover-community-bot committed 5 years ago

fd0dc27e

refactor(analysis/calculus/deriv): split comp and scomp (#2410)

sgouezel committed 5 years ago

96a07a71

feat(algebra/lie_algebra): define equivalences, direct sums of Lie algebras (#2404)

ocfnash committed 5 years ago

15fcb8a1

fix(library_search): find id (#2414)

kim-em committed 5 years ago

ba154bc1

chore(analysis): two more -T50000 challenges (#2393)

kim-em committed 5 years ago

af27ee33

feat(logic/basic): a few simp lemmas about `and` and `or` (#2408)

ChrisHughes24 committed 5 years ago

8356b798

feat(algebra/big-operators): some big operator lemmas (#2152)

b-mehta committed 5 years ago

fe878eaf

feat(data/finset): finset lemmas from combinatorics (#2149)

b-mehta committed 5 years ago

67e363fd

feat(combinatorics/composition): introduce compositions of an integer (#2398)

sgouezel committed 5 years ago

f3ac7b70

feat(category_theory/limits/shapes/binary_products): add some basic API for prod and coprod (#2396)

kbuzzard committed 5 years ago

01ac691d

chore(scripts): update nolints.txt (#2405)

leanprover-community-bot committed 5 years ago

cf89963e

refactor(order/filter): refactor filters infi and bases (#2384)

PatrickMassot committed 5 years ago

17b2d065

feat(algebra/homology): the cohomology functor (#2374)

TwoFX committed 5 years ago

92c8d93d

chore(scripts): update nolints.txt (#2403)

leanprover-community-bot committed 5 years ago

ca986598

chore(algebra/module): rename type vars, minor cleanup, add module docstring (#2392)

urkud committed 5 years ago

51f7319b

chore(*): futureproof import syntax (#2402)

rwbarton committed 5 years ago

64fa9a20

feat(category_theory): biproducts, and biproducts in AddCommGroup (#2187)

kim-em committed 5 years ago

ef4d2354

fix(tactic/norm_cast): typo (#2400)

kbuzzard committed 5 years ago

1433f051

feat(set_theory/game): short games, boards, and domineering (#1540)

kim-em committed 5 years ago

d84de804

chore(scripts): update nolints.txt (#2395)

leanprover-community-bot committed 5 years ago

0f893920

feat(category_theory): functorial images (#2373)

TwoFX committed 5 years ago

ee8cb15a

chore(scripts): update nolints.txt (#2391)

leanprover-community-bot committed 5 years ago

aa42f3b4

chore(tactic/lean_core_docs): add API docs for core Lean tactics (#2371)

kbuzzard committed 5 years ago

5f1bfcf2

feat(category_theory): define action_category (#2358)

dwarn committed 5 years ago

80340d83

Newer Older