Database
COMPLEX TOPOLOGICAL VECTOR SPACES (DEPRECATED)
Operators on complex vector spaces
Definitions and basic properties
caj

Next ⟩ chmo

Metamath Proof Explorer

Ascii
Unicode

Syntax definition caj

Description: Adjoint of an operator.

		Ref	Expression
	Assertion	caj	$class adj$