Skip to main content

cup_cube_z2

logicaffeine_proof::postnikov

Function cup_cube_z2 

Source 
pub fn cup_cube_z2() -> Vec<usize>
Expand description

The canonical nontrivial 3-cocycle (the cup-cube x³), generator of H³(Z/2; Z/2) = Z/2.