Function is_omega_spectrum 

pub fn is_omega_spectrum(modulus: usize, n_count: usize, k_range: usize) -> bool

Whether the Eilenberg–MacLane spaces {K(A, n)} form an Ω-spectrum: each is the loop space of the next, so the homotopy is invariant under the simultaneous shift n ↦ n+1, k ↦ k+1 (π_k(K(A,n)) = π_{k+1}(K(A,n+1))). That deloopability is what makes the sequence a spectrum.