Theorem Fintype.linearIndependent_iff'

Modification history