Yoshiya@kt3k・Mar 17, 2025, 1:19 AM

lean4 関数適用式で括弧省略するタイプか・・・嫌いだなぁ