Theorem Submodule.map₂_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_mapView on Github →