Theorem Module.Free.of_equiv

Modification history

2023-04-07 13:27

Mathlib/LinearAlgebra/FreeModule/Basic.lean

feat: port LinearAlgebra.FreeModule.Basic (#3317)

Added Module.Free.of_equiv View on Github →