Commit 6aaa81947c1e2a33519bab04a7c960a41253b7fd Parent c93e7373196dc96e6b9d65275f85ce3b4dffcc59 Author Pablo <pablo-pie@riseup.net> Date Sat, 22 Jun 2024 13:28:57 +0000 Minor tweak in notation Tweaked the notation of the statement of Wajnryb's presentation