Theorem subset_spanPoints

Modification history