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

Next ⟩ cdilN

Metamath Proof Explorer

Ascii
Structured

Syntax definition cltrn

Description: Extend class notation with set of all lattice translations.

		Ref	Expression
	Assertion	cltrn	class LTrn