Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-08-18 15:37 cb4a5a24

View on Github →

doc(field_theory/tower): correct docstring (#3853)

Estimated changes

modified theorem dim_mul_dim