Cauchy mean theorem
From MaRDI portal
Publication:502698
DOI10.2478/forma-2014-0016zbMath1352.26002OpenAlexW2068371071MaRDI QIDQ502698
Publication date: 6 January 2017
Published in: Formalized Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2478/forma-2014-0016
Uses Software
Cites Work