`BookProof.YangMillsCertificateSeam.valid_of_checkBounds` {c : MatrixBoundRecord} (h : c.checkBounds = true) : c.Valid

Initializing...

`BookProof.YangMillsCertificateSeam.valid_of_checkBounds` {c : MatrixBoundRecord} (h : c.checkBounds = true) : c.Valid · Prove2Me