view wisdom/d-module @ 2735:f4a2725a0dcb

<oerjan> sed -i \'s/lines=\\([$].*\\)/lines="\\1"/\' bin/pastelog
author HackBot
date Wed, 17 Apr 2013 22:43:05 +0000
parents 83d8a5395ada
children c777e2d91031
line wrap: on
line source

D-modules are just modules over the ring of differential operators. Taneb invented them.