Closed awalterschulze closed 3 years ago
After we improve rewriting in the setoid, it was simple to follow the original proof from the paper.
After we improve rewriting in the setoid, it was simple to follow the original proof from the paper.