Also known as Sobolev embedding theorem
theorem about inclusions between Sobolev spaces: if 1≤r≤s<∞ and 1/r − k/n = 1/s − l/n, then Wᵏʳ(ℝⁿ) ⊆ Wˡˢ(ℝⁿ)
via Wikidata · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).