Documentation

Duper.Rules.ArgumentCongruence

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      def Duper.argCong (given : Clause) (c : MClause) (cNum : Nat) :
      Equations
      • One or more equations did not get rendered due to their size.
      Instances For