Theorem smul_vsub_rev_mem_vectorSpan_pair

Modification history