`BookProof.ChapterCayleyInverse.invCayleyDomain_cayley` : invCayleyDomain (cayley T) = T.domain

Initializing...

`BookProof.ChapterCayleyInverse.invCayleyDomain_cayley` : invCayleyDomain (cayley T) = T.domain · Prove2Me