LeanFun RevOLVER

5 Measure modification and several variables

New bases from old: measure modification, semiclassical Jacobi families, and classical bases on triangles, disks and annuli.