sbv-14.0: SBVTestSuite/GoldFiles/tpCache_calcCollapse.gold

Lemma: addZero
  Step: 1                               Q.E.D.
  Result:                               Q.E.D.
Cached: addZero                         Q.E.D.