Try making this change in the above proof and see what difference it makes in Coq's behavior.)
Ik ben heel benieuwd naar jouw mening, laat het me weten in de comments! •••••••••••••••••••••••••••••••••••••••••••••