카테고리 없음 simsa-mapping-notation TaxosDevloper 2025. 3. 9. 16:46 def) x↦y (simsa) ≡(ϝ(tuple, formular).ϝ tuple.formular)(x, y) 공유하기 게시글 관리 TAXOS