`BookProof.ScalaronDensitized.physConf_hasZeroDeficiencyOn_transfer` : HasZeroDeficiencyOn (physConfCore M alpha) (physConfOp M alpha)

Initializing...

`BookProof.ScalaronDensitized.physConf_hasZeroDeficiencyOn_transfer` : HasZeroDeficiencyOn (physConfCore M alpha) (physConfOp M alpha) · Prove2Me