Theorem CategoryTheory.Functor.leftDerivedZeroIsoSelf_inv_hom_id

Modification history