Digital Library of Mathematical Functions ID 35.4.E5
π β π β’ ( m ) π π π {\displaystyle{\displaystyle\mathbf{H}\in\mathbf{O}(m)}}