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 Could not format assertion : No typesetting found for class BlockLiftFix with typecode class