まぁでも仮になんか修正加えてでもleanが通せたならそれはabc予想の証明が完成したわけでそれなら経緯のインチキ感には目を瞑ってもいいやろ
lean通せるならどんな修正入れてもいいと思うよ
まぁ無理やろけど