Metamath Proof Explorer


Syntax definition cshiftstable

Description: Extend the definition of a class to include the shift stability class.

Ref Expression
Assertion cshiftstable Could not format assertion : No typesetting found for class ( S ShiftStable F ) with typecode class