なんとか退院したが、右足に体重をかけられないので、しばらくは家に引きこもり。
朝から病院に行って、診察してもらい、即日入院となった
自転車で転んで、 すぐに近くのクリニックにいって診てもらったら骨折とのこと
大きい病院に行くことを勧められ、紹介状を書いてもらった
GitHub math-comp/mcb/issues/148: The explanation for the proof of edivnP
GitHub math-comp/mcb/issues/146: The order of subgoals in proof of eqnP.