Syntax definition cran

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

	Ref	Expression
Assertion	cran	class Ran