Commit 2023-04-10 13:16 05186d6b

View on Github →

feat: port LinearAlgebra.FreeModule.Finite.Basic (#3364)

Estimated changes

added theorem Module.Finite.of_basis