Def IsBilinearMap.toLinearMap

Modification history

2026-03-06 08:34
Mathlib/LinearAlgebra/BilinearMap.lean
feat: (continuous) bilinear map (#36193) …
Added IsBilinearMap.toLinearMapView on Github →