Def Mathlib.Tactic.CategoryTheory.ToApp.toAppExpr

Modification history

2026-02-13 16:28

Mathlib/Tactic/CategoryTheory/ToApp.lean

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

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