Def LinearIsometry.toSpanSingleton

Modification history