mathlib

bd90ebb7 - switch smooth vb definition to new style