Four-class restricted absorption, exceptional case (7b−6y ∈ A): reorder the reflections with 4y−3b last

Initializing...

Four-class restricted absorption, exceptional case (7b−6y ∈ A): reorder the reflections with 4y−3b last · Prove2Me