Theorem CategoryTheory.Functor.rightDerivedZeroIsoSelf_hom_inv_id

Modification history