Theorem ContinuousLinearMap.toSpanSingleton_one

Modification history