How Set and Type Theories Classify Functions

a month ago
Anonymous $qqiKI3BBkr