Structure IsBilinearMap

Modification history

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