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

Initializing...

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