Theorem Module.Free.trans

Modification history

2025-04-01 14:16
Mathlib/LinearAlgebra/Finsupp/VectorSpace.lean
chore(RingTheory): various api additions (#22920) …
Added Module.Free.transView on Github →