Theorem LinearMap.lflip_symm

Modification history

2025-08-03 10:32
Mathlib/LinearAlgebra/BilinearMap.lean
feat: upgrade lflip to a `LinearEquiv` (#27544) …
Added LinearMap.lflip_symmView on Github →