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 →