In the round-six regime the machine's line maps are the `B0seg` maps, and `λ ∣ t_i`, `s_i ≤ t_i` (`r6_maps_eq`)

Initializing...

In the round-six regime the machine's line maps are the `B0seg` maps, and `λ ∣ t_i`, `s_i ≤ t_i` (`r6_maps_eq`) · Prove2Me