`AIL6s` from the per-axis `A` program and the `GB` invariant (round six, `AIL6s_of_axis`)

Initializing...

`AIL6s` from the per-axis `A` program and the `GB` invariant (round six, `AIL6s_of_axis`) · Prove2Me