Smooth infinitesimal analysis (source code)

= Smooth infinitesimal analysis
{wiki=Smooth_infinitesimal_analysis}