Def CategoryTheory.NatTrans.ofOpSequence

Modification history

2024-10-28 14:43
Mathlib/CategoryTheory/Functor/OfSequence.lean
chore(CategoryTheory/Functor): dualize `OfSequence` (#18325)
Added CategoryTheory.NatTrans.ofOpSequenceView on Github →