카테고리 없음 커링 다시 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))) 공유하기 게시글 관리 TAXOS