def Duper.syntacticTautologyDeletion2 : MSimpRule

This implements the rule syntactic tautology deletion 2 (TD2)

Equations

• One or more equations did not get rendered due to their size.