`BookProof.YangMillsCertificateSeam.example_lower` : exampleRecord.lowerQ = 1902 / 1000

Initializing...

`BookProof.YangMillsCertificateSeam.example_lower` : exampleRecord.lowerQ = 1902 / 1000 · Prove2Me