Assertion: dagger | /r/HasProperty | hermitian conjugate
Facets:
Source sentences:
text: In the category FdHilb of finite-dimensional Hilbert spaces, this last condition can be understood as defining the dagger (the Hermitian conjugate) as the transpose of the complex conjugate.