Theorem LinearEquiv.coe_baseChange

Modification history

2025-12-08 13:23
Mathlib/LinearAlgebra/TensorProduct/Tower.lean
feat(LinearAlgebra/Transvection): base change of transvections (#31165) …
Modified LinearEquiv.coe_baseChangeView on Github →
2025-11-16 15:54
Mathlib/LinearAlgebra/TensorProduct/Tower.lean
feat(LinearAlgebra/SpecialLinearGroup): special linear group of a module (#30987) …
Added LinearEquiv.coe_baseChangeView on Github →