Commit 2024-07-01 08:42 f9f5cd90
View on Github →chore(Algebra/Module/LinearMap): split into Basic and Defs (#14226) There is nothing fancy about the split; just everything that is okay with the minimal imports for the important definitions has stayed in Defs. Very happy if anyone wants to follow-up with fine-grained rearrangements.