Theorem AffineSubspace.coe_affineSpan_singleton

Modification history