Theorem LinearIsometry.toSpanSingleton_apply

Modification history