Theorem cardinal_le_rank_of_linearIndependent

Modification history