Commits

Branch selector

 master

User selector

All users

All time

Commit history

Commits on Jun 11, 2019

• refactor(group_theory/abelianization): simplify abelianization (#1126)

  Show description for abfaf8d
  

  Michael-Howes

  authored and

  mergify[bot]

  committed
  abfaf8d

  Copy full SHA for abfaf8d

Commits on Jun 10, 2019

• feat(group_theory/presented_group): define presented groups (#1118)

  Show description for bd2f35f
  

  Michael-Howes

  authored and

  mergify[bot]

  committed
  bd2f35f

  Copy full SHA for bd2f35f

• feat (data/pnat): extensions to pnat (#1073)

  Show description for 004e0b3
  

  NeilStrickland

  authored and

  ChrisHughes24

  committed
  004e0b3

  Copy full SHA for 004e0b3

Commits on Jun 8, 2019

• feat(tactic/rewrite_all): tactic to perform the nth occurrence of a rewrite (#999)

  Show description for 3f9916e
  

  kim-em

  authored and

  mergify[bot]

  committed
  3f9916e

  Copy full SHA for 3f9916e

Commits on Jun 7, 2019

• refactor(analysis/normed_space/basic): change normed_space definition (#1112)

  

  sgouezel

  authored and

  mergify[bot]

  committed
  b55e44d

  Copy full SHA for b55e44d

• feat(data/quot): quot.map: act on non-id maps (#1120)

  Show description for 85ed958
  

  Yury G. Kudryashov

  authored and

  mergify[bot]

  committed
  85ed958

  Copy full SHA for 85ed958

Commits on Jun 6, 2019

• refactor(category_theory/equivalence): simplify equivalence.trans (#1114)

  

  rwbarton

  authored and

  mergify[bot]

  committed
  f36fdfb

  Copy full SHA for f36fdfb

Commits on Jun 5, 2019

• refactor(analysis/normed_space/operator_norm): topological modules (#1085)

  Show description for a7524b6
  

  sgouezel

  authored and

  mergify[bot]

  committed
  a7524b6

  Copy full SHA for a7524b6

Commits on Jun 4, 2019

• chore(doc/install/macos): improve mac install instructions (#1106)

  Show description for a152f3a
  

  kim-em

  authored and

  mergify[bot]

  committed
  a152f3a

  Copy full SHA for a152f3a

• fix(data/logic/basic): Use a Sort for classical.some_spec2 (#1111)

  ChrisHughes24

  authored
  542d25d

  Copy full SHA for 542d25d

Commits on Jun 3, 2019

• feat(topology/basic): is_open_Inter and others (#1108)

  

  ChrisHughes24

  authored and

  mergify[bot]

  committed
  dd832f0

  Copy full SHA for dd832f0

• feat(data/set/basic): union_inter_distrib lemmas (#1107)

  Show description for 504c0ad
  

  ChrisHughes24

  authored and

  mergify[bot]

  committed
  504c0ad

  Copy full SHA for 504c0ad

• fix(data/nat/gcd): correct order of arguments in nat.coprime_mul_iff_right (#1105)

  Show description for 4263b2b
  

  NeilStrickland

  authored and

  mergify[bot]

  committed
  4263b2b

  Copy full SHA for 4263b2b

Commits on Jun 1, 2019

• feat(data/mv_polynomial): add coeff for mv_polynomial (#1101)

  

  jcommelin

  authored and

  mergify[bot]

  committed
  38b8054

  Copy full SHA for 38b8054

Commits on May 31, 2019

• feat(topology/algebra/open_subgroup): basics on open subgroups (#1067)

  Show description for 4f6307e
  

  jcommelin

  authored and

  mergify[bot]

  committed
  4f6307e

  Copy full SHA for 4f6307e

• fix(data/nat/enat): change [] to {} in some lemmas (#1054)

  Show description for 6237939
  

  ChrisHughes24

  authored and

  mergify[bot]

  committed
  6237939

  Copy full SHA for 6237939

• feat(category_theory/monoidal): the monoidal category of types (#1100)

  Show description for 8ebea31
  

  kim-em

  authored and

  mergify[bot]

  committed
  8ebea31

  Copy full SHA for 8ebea31

• chore(category_theory): move all instances (e.g. Top, CommRing, Meas) into the root namespace (#1074)

  Show description for 2db435d
  

  kim-em

  authored and

  mergify[bot]

  committed
  2db435d

  Copy full SHA for 2db435d

Commits on May 30, 2019

• feat(category_theory/monoidal): monoidal categories, monoidal functors (#1002)

  Show description for c49ac06
  

  kim-em

  authored and

  mergify[bot]

  committed
  c49ac06

  Copy full SHA for c49ac06

Commits on May 29, 2019

• feat(ring_theory): free_ring and free_comm_ring (#734)

  Show description for 4845b66
  

  kckennylau

  authored and

  mergify[bot]

  committed
  4845b66

  Copy full SHA for 4845b66

• feat(presheaves/stalks): stalks of presheafs, and presheafed spaces with extra structure on stalks (#1018)

  Show description for d935bc3
  

  kim-em

  authored and

  mergify[bot]

  committed
  d935bc3

  Copy full SHA for d935bc3

• feat(ordered_group): add missing instance (#1094)

  

  fpvandoorn

  authored and

  mergify[bot]

  committed
  0de4bba

  Copy full SHA for 0de4bba

Commits on May 28, 2019

• fix(tactic/rcases): add parse desc to rcases/rintro (#1091)

  

  digama0

  authored and

  mergify[bot]

  committed
  b20b722

  Copy full SHA for b20b722

Commits on May 26, 2019

• feat(group_theory/conjugates) : define conjugates (#1029)

  Show description for d434397
  

  Michael-Howes

  authored and

  mergify[bot]

  committed
  d434397

  Copy full SHA for d434397

Commits on May 24, 2019

• refactor(set_theory/ordinal): shorten proof of well_ordering_thm (#1078)

  Show description for c6a7f30
  

  ChrisHughes24

  authored and

  mergify[bot]

  committed
  c6a7f30

  Copy full SHA for c6a7f30

Commits on May 23, 2019

• chore(CommRing/adjunctions): refactor proofs (#1049)

  Show description for 62acd6b
  

  kim-em

  authored and

  mergify[bot]

  committed
  62acd6b

  Copy full SHA for 62acd6b

• doc(finsupp,category_theory): fixes (#1075)

  Show description for 15fecbd
  

  fpvandoorn

  authored and

  mergify[bot]

  committed
  15fecbd

  Copy full SHA for 15fecbd

Commits on May 22, 2019

• feat(linear_algebra/basic): general_linear_group basics (#1064)

  Show description for d07e3b3
  

  jcommelin

  authored and

  mergify[bot]

  committed
  d07e3b3

  Copy full SHA for d07e3b3

• feat(data/nat): various lemmas (#1017)

  Show description for f004d32
  

  kim-em

  authored and

  mergify[bot]

  committed
  f004d32

  Copy full SHA for f004d32

Commits on May 21, 2019

• feat(*): image_closure (#1069)

  Show description for 971ddcc
  

  jcommelin

  authored and

  mergify[bot]

  committed
  971ddcc

  Copy full SHA for 971ddcc

• refactor(integration.lean): changing `measure_space` to `measurable_space` (#1072)

  Show description for 3461399
  

  kodyvajjha

  authored and

  mergify[bot]

  committed
  3461399

  Copy full SHA for 3461399

Commits on May 20, 2019

• feat(algebra/pi_instances): product of submonoids/groups/rings (#1066)

  Show description for cb30c97
  

  jcommelin

  authored and

  mergify[bot]

  committed
  cb30c97

  Copy full SHA for cb30c97

• feat(category_theory): limits in CommRing (#1006)

  Show description for 0ab8a89
  

  2 peopleauthored and

  mergify[bot]

  committed
  0ab8a89

  Copy full SHA for 0ab8a89

• chore(topology/algebra/monoid): continuous_mul_left/right (#1065)

  

  jcommelin

  authored and

  mergify[bot]

  committed
  8cf7c4c

  Copy full SHA for 8cf7c4c

• chore(ring_theory/algebra): simp-lemmas for alg_hom.to_linear_map (#1062)

  Show description for 593938c
  

  2 peopleauthored and

  mergify[bot]

  committed
  593938c

  Copy full SHA for 593938c