4 ms·You could try solving that in Lean perhapsby varjag 3mo agoYou could try solving that in Lean perhaps