Commit 2026-02-18 13:04 4c23a5f2

View on Github →

chore: modulize tests (2/N) (#35288)

Estimated changes

Modified MathlibTest/Algebra/Category/Grp/Injective.lean

Modified MathlibTest/Algebra/MonoidAlgebra/Defs.lean

Modified MathlibTest/CategoryTheory/Bicategory/Basic.lean

Modified MathlibTest/CategoryTheory/CategoryStar.lean

Modified MathlibTest/CategoryTheory/CheckCompositions.lean

Modified MathlibTest/CategoryTheory/Coherence.lean

Modified MathlibTest/CategoryTheory/ConcreteCategory/CommAlgCat.lean

Modified MathlibTest/CategoryTheory/ConcreteCategory/Grp.lean

Modified MathlibTest/CategoryTheory/ConcreteCategory/ModuleCat.lean

Modified MathlibTest/CategoryTheory/ConcreteCategory/MonCat.lean

Modified MathlibTest/CategoryTheory/ConcreteCategory/Ring.lean

Modified MathlibTest/CategoryTheory/ConcreteCategory/Semigrp.lean

Modified MathlibTest/CategoryTheory/ConcreteCategory/TopModuleCat.lean

Modified MathlibTest/CategoryTheory/MarkovCategory.lean

Modified MathlibTest/CategoryTheory/Mon_.lean

Modified MathlibTest/CategoryTheory/Monoidal/Basic.lean

Modified MathlibTest/CategoryTheory/Monoidal/MonTauto.lean

Modified MathlibTest/CategoryTheory/MonoidalComp.lean

Modified MathlibTest/CategoryTheory/Sites/ConcreteSheafification.lean

Modified MathlibTest/CategoryTheory/Sites/PreservesSheafification.lean

Modified MathlibTest/CategoryTheory/Sites/Whiskering.lean

Modified MathlibTest/CategoryTheory/Slice.lean