Theorem AffineSubspace.spanPoints_subset_coe_of_subset_coe

Modification history