A Lyapunov function for Leslie-Gower predator-prey models

A Lyapunov function for continuous time Leslie-Gower predator-prey models is introduced. Global stability of the unique coexisting equilibrium state is thereby established.