Protonic Membrane

We consider the model of a mixed proton and electron conducting membrane, as described in [VST+19] from 2019.