Theorem AffineSubspace.preimage_coe_affineSpan_singleton

Modification history