카테고리 없음
커링 다시
TaxosDevloper
2025. 3. 23. 22:27
Cₙ : (A₁(X, Y)) -> (X₁ -> A₂(X, Y)) (Aₘ(X, Y) = (Cₙ₋)ᵐ⁻(Mₙₘ(X) -> Y) (Mₙₘ(x) = Π xᵢ (i = m ~ n)))