Def CategoryTheory.categoryTheoryDischarger

Modification history

2025-11-19 06:07
Mathlib/CategoryTheory/Category/Basic.lean
chore: move Mathlib to the module system (#31786) …
Deleted CategoryTheory.categoryTheoryDischargerView on Github →
2025-08-05 23:45
Mathlib/CategoryTheory/Category/Basic.lean
feat: replace aesop_cat with a configurable discharger (#27938) …
Added CategoryTheory.categoryTheoryDischargerView on Github →