Admit non-fields as left acting domains for free (associative or Lie) algebras, and fix the zero-dimensional case#4245

Merged

fingolfin merged 3 commits intogap-system:masterfrom laurentbartholdi:grading-of-free-modules

Feb 9, 2021

+18-4

Commits on Feb 4, 2021

Fix zero-dimensional hom_component and non-field left acting ring
laurentbartholdi
committed

Commits on Feb 5, 2021