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

Next ⟩ cedring

Metamath Proof Explorer

Ascii
Unicode

Syntax definition ctendo

Description: Extend class notation with translation group endomorphisms.

		Ref	Expression
	Assertion	ctendo	$class TEndo$