Skip to content

LieAlgebras: Restrict to work over fields only #2901

Merged
fingolfin merged 4 commits intooscar-system:masterfrom lgoettgens:lg/lie-ring->fieldOct 11, 2023

Commits

Commits on Oct 9, 2023