User talk:2607:FEA8:BDA0:9B20:A0AC:3265:2576:63E9

I wouldn't remove the derivation because without it, someone whose is new to this subject may end up being very mystified by the complicated definition of the extension of a diff. operator $P$ to distributions. Mgkrupa 04:58, 16 September 2020 (UTC)