Manuscript En02-A@1 · En02-A-v1.tex · section · bb1319d5
Symmetry certificates
Exact fine-graining certificate cost and cheaper symmetry › Symmetry certificates · lines 1134–1142
This is I's :three, included with its finite proof.
In contrast,
Both statements are true; they optimize different certificate families.
Displayed formulas in this passage
unlabeled · line 1138