2 ms·Just a quick comment to point out that the formal proof [4] is in fact complete.by spheversion 2y agoJust a quick comment to point out that the formal proof [4] is in fact complete.