Closed rjenaa closed 1 month ago
Initial test for induction clause
@rjenaa will change modification to x.
Initial test for induction clause