Commit d8da78614d9c1bd4baafc76e048a39fd11fb08aa Parent 775167419955fc5873b73e290958091ed58cacb0 Author Pablo <pablo-escobar@riseup.net> Date Mon, 17 Oct 2022 22:57:38 +0000 Simplified the discussion on the functoriality of the Lie functor