Theorem FdRep.char_orthonormal

Modification history