Theorem CategoryTheory.Functor.map_shift_unop

Modification history