`BookProof.ScalaronDensitized.physConfOp_symmetricOn` : SymmetricOn (physConfCore M alpha) ((physConfCore M alpha).subtype.comp (physConfOp M alpha))

Initializing...

`BookProof.ScalaronDensitized.physConfOp_symmetricOn` : SymmetricOn (physConfCore M alpha) ((physConfCore M alpha).subtype.comp (physConfOp M alpha)) · Prove2Me