MPE Home Metamath Proof Explorer < Previous   Next >
Nearby theorems
Mirrors  >  Home  >  MPE Home  >  Th. List  >  ccshOLD Structured version   Visualization version   GIF version

Syntax Definition ccshOLD 13939
Description: Obsolete version of ccsh 13938 as of 12-Oct-2022. (New usage is discouraged.)
Ref Expression
ccshOLD class cyclShiftOLD

See definition df-cshOLD 13941 for more information.

Colors of variables: wff setvar class
  Copyright terms: Public domain W3C validator