Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on Mar 2, 2026

• chore: bump toolchain to v4.29.0-rc3 (#35942)

  Show description for 9b1001c
  

  3 peoplecommitted
  9b1001c

  Copy full SHA for 9b1001c

Commits on Feb 24, 2026

• chore: bump toolchain to v4.29.0-rc2 (#35708)

  kim-em

  committed
  0c08ce9

  Copy full SHA for 0c08ce9

Commits on Feb 17, 2026

• chore: bump toolchain to v4.29.0-rc1 (#35459)

  Show description for 33a7291
  

  6 peoplecommitted
  33a7291

  Copy full SHA for 33a7291

Commits on Jan 5, 2026

• chore(LinearAlgebra,Order): remove unnecessary @[expose] from public sections (#33579)

  Show description for 5adfcca
  kim-em

  committed
  5adfcca

  Copy full SHA for 5adfcca

Commits on Dec 27, 2025

• chore(*): restrict operations to `LinearMap`s (#33241)

  Show description for c85f12d
  

  urkud

  and

  themathqueen

  committed
  c85f12d

  Copy full SHA for c85f12d

Commits on Nov 19, 2025

• chore: move Mathlib to the module system (#31786)

  Show description for 6a54a80
  

  kim-em

  and

  Kha

  committed
  6a54a80

  Copy full SHA for 6a54a80

Commits on Nov 8, 2025

• chore: refactor using new `by_cases!` tactic (#30073)

  Show description for 634ea75
  JovanGerb

  committed
  634ea75

  Copy full SHA for 634ea75

Commits on Jul 24, 2025

• chore: rename `Basis` to `Module.Basis` (#27381)

  Show description for 66baa85
  YaelDillies

  committed
  66baa85

  Copy full SHA for 66baa85

Commits on Jun 27, 2025

• chore: remove unused simp arguments (#26430)

  Show description for cf17ac4
  

  nomeata

  and

  YaelDillies

  committed
  cf17ac4

  Copy full SHA for cf17ac4

Commits on Apr 19, 2025

• chore(Algebra/BigOperators/Group/Finset/Basic): use meaningful letter names (#24123)

  Show description for 9bc7ea2
  YaelDillies

  committed
  9bc7ea2

  Copy full SHA for 9bc7ea2

Commits on Feb 17, 2025

• refactor(GroupTheory/SpecificGroups/Cyclic,Dihedral): Reverse import (#20923)

  Show description for ae9822b
  tb65536

  committed
  ae9822b

  Copy full SHA for ae9822b

Commits on Jan 21, 2025

• refactor(Data/ZMod/Quotient): Split file (#20894)

  Show description for 6882ea7
  tb65536

  committed
  6882ea7

  Copy full SHA for 6882ea7

Commits on Nov 14, 2024

• feat(LinearAlgebra/FreeModule/Int): index of submodules of free ℤ-modules (#18002)

  Show description for 4bd54c4
  jsm28

  committed
  4bd54c4

  Copy full SHA for 4bd54c4

Loading