Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Alexander van der Vekens
Graph theory (extension)
Local isomorphisms of graphs
cgrlim

Next ⟩ cgrlic

Metamath Proof Explorer

Unicode
Structured

Syntax definition cgrlim

Description: The class of graph local isomorphism sets.

		Ref	Expression
	Assertion	cgrlim	class GraphLocIso