Theorem Submodule.prod_mono

Modification history

2024-06-20 16:11
Mathlib/LinearAlgebra/Span.lean
chore: drop porting notes about nonrec (#13767)
Added Submodule.prod_monoView on Github →