Theorem Orthonormal.inner_left_fintype

Modification history