Theorem CategoryTheory.Functor.leftDerivedZeroIsoSelf_hom_inv_id

Modification history