본문 바로가기

카테고리 없음

simsa-mapping-notation


def) x↦y (simsa) ≡(ϝ(tuple, formular).ϝ tuple.formular)(x, y)