Cohomology of a restricted Lie algebra with a restricted derivation in characteristic 2 | Synapse