Theorem cardinal_lift_le_rank_of_linearIndependent'

Modification history