Commits

Branch selector

 master

User selector

All users

All time

Commit history

Commits on Apr 15, 2020

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

  Show description for 8510f07
  

  leanprover-community-bot

  committed
  8510f07

  Copy full SHA for 8510f07

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

  kbuzzard

  committed
  1e212d7

  Copy full SHA for 1e212d7

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

  Show description for ce72cde
  TwoFX

  committed
  ce72cde

  Copy full SHA for ce72cde

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

  Show description for 9b797ee
  

  3 peoplecommitted
  9b797ee

  Copy full SHA for 9b797ee

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

  Show description for 8e8037f
  

  kim-em

  and

  Scott Morrison

  committed
  8e8037f

  Copy full SHA for 8e8037f

Commits on Apr 14, 2020

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

  Show description for fd0dc27
  

  leanprover-community-bot

  committed
  fd0dc27

  Copy full SHA for fd0dc27

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

  Show description for 96a07a7
  sgouezel

  committed
  96a07a7

  Copy full SHA for 96a07a7

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

  Show description for 15fcb8a
  

  ocfnash

  committed
  15fcb8a

  Copy full SHA for 15fcb8a

• fix(library_search): find id (#2414)

  Show description for ba154bc
  kim-em

  committed
  ba154bc

  Copy full SHA for ba154bc

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

  Show description for af27ee3
  kim-em

  committed
  af27ee3

  Copy full SHA for af27ee3

Commits on Apr 13, 2020

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

  ChrisHughes24

  committed
  8356b79

  Copy full SHA for 8356b79

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

  Show description for fe878ea
  b-mehta

  committed
  fe878ea

  Copy full SHA for fe878ea

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

  Show description for 67e363f
  b-mehta

  committed
  67e363f

  Copy full SHA for 67e363f

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

  Show description for f3ac7b7
  sgouezel

  committed
  f3ac7b7

  Copy full SHA for f3ac7b7

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

  Show description for 01ac691
  kbuzzard

  committed
  01ac691

  Copy full SHA for 01ac691

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

  Show description for cf89963
  

  leanprover-community-bot

  committed
  cf89963

  Copy full SHA for cf89963

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

  Show description for 17b2d06
  PatrickMassot

  committed
  17b2d06

  Copy full SHA for 17b2d06

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

  Show description for 92c8d93
  TwoFX

  committed
  92c8d93

  Copy full SHA for 92c8d93

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

  Show description for ca98659
  

  leanprover-community-bot

  committed
  ca98659

  Copy full SHA for ca98659

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

  Show description for 51f7319
  urkud

  committed
  51f7319

  Copy full SHA for 51f7319

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

  Show description for 64fa9a2
  rwbarton

  committed
  64fa9a2

  Copy full SHA for 64fa9a2

Commits on Apr 12, 2020

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

  Show description for ef4d235
  kim-em

  committed
  ef4d235

  Copy full SHA for ef4d235

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

  kbuzzard

  committed
  1433f05

  Copy full SHA for 1433f05

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

  Show description for d84de80
  kim-em

  committed
  d84de80

  Copy full SHA for d84de80

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

  Show description for 0f89392
  

  leanprover-community-bot

  committed
  0f89392

  Copy full SHA for 0f89392

Commits on Apr 11, 2020

• feat(category_theory): functorial images (#2373)

  Show description for ee8cb15
  TwoFX

  committed
  ee8cb15

  Copy full SHA for ee8cb15

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

  Show description for aa42f3b
  

  leanprover-community-bot

  committed
  aa42f3b

  Copy full SHA for aa42f3b

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

  Show description for 5f1bfcf
  kbuzzard

  committed
  5f1bfcf

  Copy full SHA for 5f1bfcf

• feat(category_theory): define action_category (#2358)

  Show description for 80340d8
  dwarn

  committed
  80340d8

  Copy full SHA for 80340d8

• refactor(*): rename ordered groups/monoids to ordered add_ groups/monoids (#2347)

  Show description for e1feab4
  jcommelin

  committed
  e1feab4

  Copy full SHA for e1feab4

• chore(algebra/category): remove some [reducible] after Lean 3.8 (#2389)

  Show description for c9fca15
  kim-em

  committed
  c9fca15

  Copy full SHA for c9fca15

• chore(scripts): update nolints.txt (#2390)

  Show description for 83359d1
  

  leanprover-community-bot

  committed
  83359d1

  Copy full SHA for 83359d1

• chore(scripts): update nolints.txt (#2388)

  Show description for 4fa2924
  

  leanprover-community-bot

  committed
  4fa2924

  Copy full SHA for 4fa2924

• feat(actions): manage labels on PR review (#2387)

  Show description for 81d8104
  bryangingechen

  committed
  81d8104

  Copy full SHA for 81d8104

• chore(category_theory/types): add documentation, remove bad simp lemmas and instances, add notation for functions as morphisms (#2383)

  Show description for c68f23d
  kim-em

  committed
  c68f23d

  Copy full SHA for c68f23d