Theorem Module.Finite.not_linearIndependent_of_infinite

Modification history