Theorem CategoryTheory.Functor.homologySequenceδ_naturality

Modification history