Theorem Subalgebra.finrank_sup_le_of_free

Modification history

2024-11-13 07:59
Mathlib/LinearAlgebra/TensorProduct/Subalgebra.lean
feat: some results on dimension of field adjoin (#18515) …
Modified Subalgebra.finrank_sup_le_of_freeView on Github →
2024-07-16 22:33
Mathlib/LinearAlgebra/TensorProduct/Subalgebra.lean
feat(LinearAlgebra/TensorProduct/Subalgebra): some linear maps induced by multiplication for subalgebras (#14611) …
Added Subalgebra.finrank_sup_le_of_freeView on Github →