Theorem CategoryTheory.Functor.homologySequence_exact₁

Modification history