partial progress [skip ci]

might as well commit this before going to bed, only about 1.5 flt4g size proofs left

Author: icecream17

changes-set.txt

@@ -99,6 +99,7 @@ make a github issue.)
 
 DONE:
 Date      Old       New         Notes
+23-Aug-24 qred      [same]      moved from GS's mathbox to main set.mm
 20-Aug-24 uzssre    [same]      moved from GS's mathbox to main set.mm
 20-Aug-24 brsnop    [same]      moved from TA's mathbox to main set.mm
 19-Aug-24 dfrp2     [same]      moved from TA's mathbox to main set.mm