Exhaustive fixed-branch coverage-certificate manifest #
def
Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchClaim
(orbit : Fin 7)
(rowTwo : Fin 35)
:
Certificate claim for each of the 245 canonical fixed-row branches.
Equations
- One or more equations did not get rendered due to their size.