`BookProof.ChapterAbelianGelfandModel.gelfandModel_isometry` : Isometry (gelfandModel A)

Initializing...

`BookProof.ChapterAbelianGelfandModel.gelfandModel_isometry` : Isometry (gelfandModel A) · Prove2Me