Commit 2025-02-18 14:59 e916ec0e

View on Github →

feat(LinearAlgebra/FreeModule): add repr_algebraMap (#21642)

Estimated changes

added theorem Basis.repr_algebraMap