Theorem Algebra.Presentation.differentials.hom₁_single

Modification history