Theorem CategoryTheory.Functor.ofOpSequence_map_homOfLE_succ

Modification history