`BookProof.ChapterCayleyInverse.oneSubU_cayley_injective` : Function.Injective (oneSubU (cayley T))

Initializing...

`BookProof.ChapterCayleyInverse.oneSubU_cayley_injective` : Function.Injective (oneSubU (cayley T)) · Prove2Me