Theorem groupCohomology.isMulCoboundary₂_of_mem_coboundaries₂

Modification history