Formal derivative in positive characteristic (source code)

= Formal derivative in positive characteristic
{title2=$f'(T)$}

In <characteristic of a field>[characteristic] $p$, the coefficient $i$ in a <formal derivative> vanishes exactly when $p$ divides $i$.