Also known as mean value theorem for integration, mean value theorems for integrals, mean value theorems for integration, mean value theorem for definite integrals, mean value theorems for definite integrals
pair of theorems
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).