Theorem Submodule.map_map₂

Modification history

2025-09-14 19:47
Mathlib/Algebra/Module/Submodule/Bilinear.lean
feat: more connections between `TensorProduct` and `map₂` (#29391) …
Added Submodule.map_map₂View on Github →