`BookProof.ScalaronDensitized.densConf_hasZeroDeficiencyOn` : HasZeroDeficiencyOn (densConfCore M alpha) (densConfOp M alpha)

Initializing...

`BookProof.ScalaronDensitized.densConf_hasZeroDeficiencyOn` : HasZeroDeficiencyOn (densConfCore M alpha) (densConfOp M alpha) · Prove2Me