`BookProof.YangMillsCertificateSeam.example_parse` : parseMatrixBounds exampleNdjson = some exampleRecord

Initializing...

`BookProof.YangMillsCertificateSeam.example_parse` : parseMatrixBounds exampleNdjson = some exampleRecord · Prove2Me