Def CategoryTheory.evalSorryIfSorry

Modification history

2025-11-19 06:07
Mathlib/CategoryTheory/Category/Basic.lean
chore: move Mathlib to the module system (#31786) …
Deleted CategoryTheory.evalSorryIfSorryView on Github →
2024-05-23 02:18
Mathlib/CategoryTheory/Category/Basic.lean
feat(CategoryTheory): aesop_cat uses sorry if there is a sorry in the goal (#13110) …
Added CategoryTheory.evalSorryIfSorryView on Github →