Commit graph

6 commits

Author SHA1 Message Date
chelseaandmadrid
f9e7942a60 Add statements for the reduced case M=R/p 2023-06-14 21:13:11 -07:00
chelseaandmadrid
191e02e984 Updated PolyType 2023-06-14 20:51:45 -07:00
chelseaandmadrid
ac0a660641 add shifting-inv lemma for PolyType 2023-06-14 15:35:15 -07:00
chelseaandmadrid
900bf12da2 Added comments to everything 2023-06-14 14:44:43 -07:00
chelseaandmadrid
3e4a8a5fca add statements 2023-06-14 09:14:47 -07:00
chelseaandmadrid
950df913aa new bobby 2023-06-13 23:05:45 -07:00