Remix.run Logo
pfortuny 3 hours ago

I know, yes, but did not want to digress. Thanks though. Actually, it is the "extension" to K[e] with e^2=0, as "usual".

measurablefunc 2 hours ago | parent [-]

The infinitesimally thickened point.