Function nerve_cohomology_size 

pub fn nerve_cohomology_size(g: &FiniteGroup, modulus: usize, n: usize) -> usize

The simplicial cohomology |Hⁿ(BG; A)| of the nerve BG = K(G,1), computed from the nerve’s own face maps. By the Eilenberg–MacLane representing property Hⁿ(BG; A) = [BG, K(A,n)]; we confirm it equals the algebraic group cohomology Hⁿ(G; A), so the spectrum represents — on the symmetry’s classifying space — exactly group cohomology, the home of the Postnikov k-invariants.