Syntax definition clan

Description: Class function defining the (local) left Kan extension.

	Ref	Expression
Assertion	clan	Could not format assertion : No typesetting found for class Lan with typecode class