Metamath Proof Explorer


Syntax definition clmd

Description: Class function defining the limit of a diagram.

Ref Expression
Assertion clmd class Limit