generated at
2/17/2025, 8:02:17 PM
簡約項
redex
reducible expression
簡約
可能な項