Commit 2023-05-22 14:39 55ec6e9a
View on Github →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.