Theorem orthonormal_iff_ite

Modification history