Theorem SymmetricPower.domDomCongr_tprod

Modification history

2025-09-15 13:59
Mathlib/LinearAlgebra/TensorPower/Symmetric.lean
feat(LinearAlgebra): symmetric tensor power (#26192) …
Added SymmetricPower.domDomCongr_tprodView on Github →