Theorem CategoryTheory.toNatTrans_congr

Modification history

2026-02-13 16:28
Mathlib/Tactic/CategoryTheory/ToApp.lean
chore: add missing `namespace`s (#34631) …
Deleted CategoryTheory.toNatTrans_congrView on Github →
2025-12-19 12:06
Mathlib/Tactic/CategoryTheory/ToApp.lean
chore: remove backward.privateInPublic from lakefile (#33034) …
Added CategoryTheory.toNatTrans_congrView on Github →