Theorem LocallyLipschitz.max_const

Modification history