Theorem CategoryTheory.Functor.rightDerivedZeroIsoSelf_inv_hom_id

Modification history