Commit fa03624424ff7538067b41f76cd640f7d0104b06 Parent f630cf86d5ac22b22abc0f6255a88f26f2692cd4 Author Pablo <pablo-escobar@riseup.net> Date Sun, 12 Jun 2022 15:32:46 +0000 Added a theorem environment for propositions