Commit 2024-02-16 10:21 4bb195e1
View on Github →feat: A result on composition of lift of MonoidLocalization (#10373) Added a result on composition of lift of the localization map on Monoids. Modified some cases'.
feat: A result on composition of lift of MonoidLocalization (#10373) Added a result on composition of lift of the localization map on Monoids. Modified some cases'.