Theorem CategoryTheory.Functor.homologySequence_exact₃

Modification history