lean4

このトピックを指定するにはlean4と入力