On the union of well-founded relations
Give an example of two well-founded relations whose union is not well founded.
Solution
Look at
this file
.
Warning : in CoqCVS, compile with option -no-vm
Going home