`BookProof.BrstReducedTransfer.stoneTransfer_zero` : stoneTransfer T Om hcomm 0 = LinearMap.id

Initializing...

`BookProof.BrstReducedTransfer.stoneTransfer_zero` : stoneTransfer T Om hcomm 0 = LinearMap.id · Prove2Me