Theorem cardinal_le_rank_of_linearIndependent'

Modification history