Also known as Leibniz rule for differentiating under the integral sign, Leibniz's theorem for differentiation of integrals
differentiation under the integral sign formula
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).