`BookProof.BrstReducedTransfer.stoneTransfer_bijective` (t : ℝ) : Function.Bijective (stoneTransfer T Om hcomm t)

Initializing...

`BookProof.BrstReducedTransfer.stoneTransfer_bijective` (t : ℝ) : Function.Bijective (stoneTransfer T Om hcomm t) · Prove2Me