Theorem Submodule.map₂_bot_left

Modification history

2023-02-28 09:43

Mathlib/Algebra/Module/Submodule/Bilinear.lean

feat: Port Algebra.Module.Submodule.Bilinear (#2531)

Added Submodule.map₂_bot_left View on Github →