Fix Lagrange's four-square theorem equation in spec
Merge branch 'ex_alternateorientations' into ex_screenorientations