In the terminal state `single a 1`, the generic fibre of the curve order has field invariant `(a, 1)`: ramification index `a` and residue degree `1`.

Initializing...

In the terminal state `single a 1`, the generic fibre of the curve order has field invariant `(a, 1)`: ramification index `a` and residue degree `1`. · Prove2Me