Metamath Proof Explorer


Syntax definition clmd

Description: Class function defining the limit of a diagram.

Ref Expression
Assertion clmd Could not format assertion : No typesetting found for class Limit with typecode class