Wrote perm_eq_shape_rowseq
Wrote perm_eq_stdE
In partition corners + rowseq perm_eq lemmas
Yamplact and adapted multpoly
Fixed size_RS == -> =
Fast version of LR_pred