Def LinearAlgebra.FreeProductOfPowers

Modification history

2024-12-08 15:02

Mathlib/LinearAlgebra/FreeProduct/Basic.lean

chore(*): rename some `defs` to `camelCase` (#19795)

Added LinearAlgebra.FreeProductOfPowers View on Github →