Hopf maximum principle (source code)

= Hopf maximum principle
{wiki=Hopf_maximum_principle}