Theorem CategoryTheory.ShortComplex.SnakeInput.L₀X₂ToP_comp_pullback_snd

Modification history