Theorem Pi.mulSingle_comp_equiv

Modification history

2025-02-18 09:18
Mathlib/Algebra/Group/Pi/Lemmas.lean
feat(LinearAlgebra/Matrix): swap matrices (#19812) …
Added Pi.mulSingle_comp_equivView on Github →