mathlib

b41babaa - doc(analysis/special_functions/stirling): fix equation (#16651)