Open jaccokrijnen opened 1 year ago
It probably holds by induction and kind-preservation over normalisation.
It probably holds by induction and kind-preservation over normalisation.