Theorem finrank_eq_zero_of_not_exists_basis_finite

Modification history