Theorem CategoryTheory.Functor.shift_map_op

Modification history