Syntax definition cran

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

	Ref	Expression
Assertion	cran	Could not format assertion : No typesetting found for class Ran with typecode class