Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-02-04 03:30 5f328b6e

View on Github →

feat(linear_algebra/free_algebra): Show that free_monoid forms a basis over free_algebra (#5868)

Estimated changes

added theorem free_algebra.dim_eq