MeanPeriodCircuit.lean`

1 declarations, 0 contain sorry, 0 declared as axioms

The actual perturbed mean retains the integer winding of a lifted circuit. This is the period used by the finite filling and Stokes steps.