Lax–Oleinik formula

GPTKB entity