lazy reduction

[计] 惰性归约

今日更新

更新时间：2026-04-27 02:01:29