Commits

History for

Commits on Feb 17, 2026

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

committed

Commits on Feb 6, 2026

refactor(CategoryTheory): remove `HasForget` (#34741)
dagurtomas
committed

Commits on Nov 19, 2025

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

kim-em
and
Kha
committed

Commits on May 26, 2025

chore: various fixes for the flexible linter (#23909)
grunweg
committed

Commits on Mar 12, 2025

chore(whitespace): more changes (#22853)
adomani
committed

Commits on Feb 9, 2025

refactor(CategoryTheory/Sites,Topology/Sheaves): upgrade `HasForget` to `ConcreteCategory` (#21575)
Vierkantor
committed

Commits on Feb 3, 2025

feat(Topology/Category): concrete category refactor for topological spaces (#21302)
Vierkantor
committed

Commits on Jan 17, 2025

chore(CategoryTheory): rename `ConcreteCategory` to `HasForget` (#20809)
Vierkantor
committed

Commits on Dec 11, 2024

feat(Condensed): light condensed modules satisfy countable AB4* (#18497)
dagurtomas
committed

Commits on Nov 15, 2024

feat(Condensed): a sequential limit of epimorphisms in light condensed modules is epimorphic (#18336)
dagurtomas
committed

Commits on Aug 4, 2024

feat(LightCondensed): characterise epimorphisms in light condensed sets and modules (#13495)
dagurtomas
committed

Loading