Theorem Algebra.Presentation.differentials.comm₁₂_single

Modification history