Theorem CategoryTheory.PreZeroHypercover.presieve₀_pullback₁

Modification history