3 ms·If the goal is to formalize the proof, you would need more than an outline.by tripplyons 1y agoIf the goal is to formalize the proof, you would need more than an outline.