Commit 2020-10-29 09:49 d510a637
View on Github →feat(linear_algebra/finite_dimensional): finite dimensional algebra_hom of fields is bijective (#4793) Changes to finite_dimensional.lean from #4786
feat(linear_algebra/finite_dimensional): finite dimensional algebra_hom of fields is bijective (#4793) Changes to finite_dimensional.lean from #4786