theorem that for a thermodynamic system undergoing a thermodynamic cycle, the following inequality holds: ∮ δ𝑄/𝑇 ≤ 0, where δ𝑄 is heat absorbed by the system and 𝑇 is the temperature
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).