Commit 2024-09-12 06:16 7eb3f52a
View on Github →feat: generalize Module.Free.ChooseBasisIndex.fintype and Module.Finite.matrix to semirings (#16700)
feat: generalize Module.Free.ChooseBasisIndex.fintype and Module.Finite.matrix to semirings (#16700)