4 ms·How do you work with smooth functions without using reals?by semigroupoid 8y agoHow do you work with smooth functions without using reals?