Def LinearAlgebra.FreeProductOfPowers

Modification history

2025-05-07 09:33
Mathlib/LinearAlgebra/FreeProduct/Basic.lean
refactor: rename `LinearAlgebra.FreeProductOfPowers` to `LinearAlgebra.FreeProduct.asPowers`, add simp shortcut to lift lemmas (#24531) …
Deleted LinearAlgebra.FreeProductOfPowersView on Github →
2024-12-08 15:02
Mathlib/LinearAlgebra/FreeProduct/Basic.lean
chore(*): rename some `defs` to `camelCase` (#19795)
Added LinearAlgebra.FreeProductOfPowersView on Github →