Theorem CategoryTheory.NatTrans.naturality'

Modification history

2026-10-04 06:22
Mathlib/CategoryTheory/NatTrans.lean
feat(Translate): command for adding a translation (#43750) …
Deleted CategoryTheory.NatTrans.naturality'View on Github →
2026-01-16 12:21
Mathlib/CategoryTheory/NatTrans.lean
feat(CategoryTheory/NatTrans): use to_dual (#33834) …
Added CategoryTheory.NatTrans.naturality'View on Github →