Add jet_poly example with total derivative#2451

rburing wants to merge 1 commit into

flintlib:mainflintlib/flint:mainfrom

rburing:jet_polyrburing/flint:jet_polyCopy head branch name to clipboard