Theorem Orthonormal.inner_right_fintype

Modification history