2024年7月14日

講義準備。ネーターの定理を修正。