Theorem finrank_span_singleton

Modification history