Database
COMPLEX HILBERT SPACE EXPLORER (DEPRECATED)
Axiomatization of complex pre-Hilbert spaces
Basic Hilbert space definitions
cort

Next ⟩ cph

Metamath Proof Explorer

Ascii
Unicode

Syntax definition cort

Description: Extend class notation with orthogonal complement in CH .

		Ref	Expression
	Assertion	cort	$class ⊥$