Theorem LinearEquiv.prodCongr_symm

Modification history

2025-04-19 15:05
Mathlib/LinearAlgebra/Prod.lean
chore: rename LinearEquiv.prod to prodCongr (#24145) …
Added LinearEquiv.prodCongr_symmView on Github →