Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Norm Megill
Construction of a vector space from a Hilbert lattice
cdih

Next ⟩ df-dih

Metamath Proof Explorer

Unicode
Structured

Syntax definition cdih

Description: Extend class notation with isomorphism H.

		Ref	Expression
	Assertion	cdih	class DIsoH