Theorem LinearMap.toSpanSingleton_one

Modification history