Theorem rank_eq_cardinal_basis'

Modification history