Theorem CategoryTheory.Arrow.AugmentedCechNerve.ExtraDegeneracy.s_comp_base

Modification history