Some cleanup in maxLeq and maxLtn
Standardization
Added green*_eq_shape_RS theorems
Added size_std
Q symbol of standardization
Merged the changes to std.v from invseq branch