`BookProof.ChapterAbelianCyclicCommutant.bicommutant_repSet` : (repSet pi).centralizer.centralizer = multModelRep pi xi hcyc

Initializing...

`BookProof.ChapterAbelianCyclicCommutant.bicommutant_repSet` : (repSet pi).centralizer.centralizer = multModelRep pi xi hcyc · Prove2Me