Theorem finite_of_span_finite_eq_top_finsupp

Modification history