Def Std.Tactic.Ext.extCore'

Modification history

2024-07-17 20:33
Mathlib/CategoryTheory/Category/Basic.lean
chore(aesop_cat): remove unused configuration (#14845) …
Deleted Std.Tactic.Ext.extCore'View on Github →
2022-12-01 15:35
Mathlib/CategoryTheory/Category/Basic.lean
port: several files from category_theory (#749) …
Added Std.Tactic.Ext.extCore'View on Github →