Commit 2019-10-26 12:58 8eaf478a
View on Github →feat(linear_algebra/basis): Dedekind's linear independence of characters (#1595)
- feat(linear_algebra/basis): Dedekind's linear independence of characters
- feat(linear_algebra/basis): generalize independence of characters to integral domains
- chore(linear_algebra/basis): change proofs
- commenting the proof