The proof strategy for cut elimination (proving by induction on cut rank) is fundamentally uniform a...
This proposition has not been edited since the history system was added.