All six are proved in Lean. What each says, with its limits: "The final statement's six fields". Where its conditions stand: "Look first at four things" (what you must check yourself), "Its reach" (at ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results