P
Initializing...
Theorem 6.14 (Krasovskii–LaSalle principle) · Prove2Me