Commit 8f912722b9f244adec3114bf1de7ad4b92bf0fa4 Parent 9a188cf97ff48f2868d085774a598746ca92bb9f Author Pablo <pablo-escobar@riseup.net> Date Wed, 19 Oct 2022 00:02:30 +0000 Tweaked the comments on smooth representations a bit