Theorem Basis.finite_ofVectorSpaceIndex_of_rank_lt_aleph0

Modification history