Theorem LinearMap.ker_toSpanSingleton

Modification history