Metamath Proof Explorer


Syntax definition cblockliftfix

Description: Extend the definition of a class to include the class of equilibrium block lifts.

Ref Expression
Assertion cblockliftfix
class BlockLiftFix