Def OrthonormalBasis.fromOrthogonalSpanSingleton

Modification history