Commit f630cf86d5ac22b22abc0f6255a88f26f2692cd4 Parent 86712273c4f81ac62b64dae9c358734efcb18175 Author Pablo <pablo-escobar@riseup.net> Date Sun, 12 Jun 2022 15:31:59 +0000 Changed the notation of the category of smooth manifolds Added a macro for quotients of right actions