`BookProof.ChapterAbelianDiagonalCountable.diagOp_injective` : Function.Injective diagOp

Initializing...

`BookProof.ChapterAbelianDiagonalCountable.diagOp_injective` : Function.Injective diagOp · Prove2Me