Theorem CategoryTheory.Functor.leftDerivedZeroIsoSelf_hom_inv_id_app

Modification history