Theorem Fintype.not_linearIndependent_iff

Modification history