The automorphisms of differential extensions of characteristic p | Synapse