mathlib

55ec6e9a - chore(analysis/special_functions/non_integrable): split (#19047)

chore(analysis/special_functions/non_integrable): split (#19047) Split out a fairly niche special-functions lemma, reducing the dependencies of this file. This decreases by 5 the length of the path to the Cauchy integral formula.