Theorem CategoryTheory.Functor.ofOpSequence_map_homOfLE_succ

Modification history

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