Robuta

https://leanprover-community.github.io/mathlib4_docs/Mathlib/Topology/Algebra/Module/Spaces/WeakBilin.html Mathlib.Topology.Algebra.Module.Spaces.WeakBilin mathlib topology algebra module spaces