Def Mathlib.Tactic.CategoryTheory.ToApp.toCatExpr

Modification history

2026-02-13 16:28

Mathlib/Tactic/CategoryTheory/ToApp.lean

chore: add missing `namespace`s (#34631) …

Added Mathlib.Tactic.CategoryTheory.ToApp.toCatExpr View on Github →