Theorem LinearIsometry.coe_toSpanSingleton

Modification history