Theorem CategoryTheory.shiftFunctor_inv

Modification history