Def CategoryTheory.Functor.ofOpSequence

Modification history

2024-10-28 14:43

Mathlib/CategoryTheory/Functor/OfSequence.lean

chore(CategoryTheory/Functor): dualize `OfSequence` (#18325)

Added CategoryTheory.Functor.ofOpSequence View on Github →