Def Submodule.sndEquiv

Modification history

2023-09-29 06:57

Mathlib/LinearAlgebra/Prod.lean

chore: exactly 4 spaces in theorems (#7328)

Modified Submodule.sndEquiv View on Github →

2023-02-21 15:57

Mathlib/LinearAlgebra/Prod.lean

feat: port LinearAlgebra.Prod (#2415)

Added Submodule.sndEquiv View on Github →