Commit 3dcf4f4eaab8cc8674f4c1d03b1cc9c257c5525c Parent e9f6ff13f218bc6725abfd19bdc0f918cc353fa0 Author Pablo <pablo-pie@riseup.net> Date Fri, 7 Jun 2024 10:51:54 +0000 Wrote a proof of the fact that PMod is finitely-generated by twists