Commits

Breadcrumbs

History for

ond38b507

User selector

All users

All time

Commit History

Commits on Dec 16, 2025

• chore(GroupTheory): fix whitespace (#32950)

  Show description for 9e6235d
  harahu

  committed
  9e6235d

  Copy full SHA for 9e6235d

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 Aug 11, 2025

• chore: reformat `to_additive` docstrings to use `docComment` syntax (#28066)

  Show description for d678e82
  thorimur

  committed
  d678e82

  Copy full SHA for d678e82

Commits on Apr 24, 2025

• chore(GroupTheory/Finiteness): move `Group.rank` to a new file (#24326)

  Show description for 44efe04
  YaelDillies

  committed
  44efe04

  Copy full SHA for 44efe04

Loading