Cousin's Lemma

DOI10.1515/forma-2016-0009zbMath1352.54020OpenAlexW2563706385WikidataQ124816928 ScholiaQ124816928MaRDI QIDQ502680

Roland Coghetto

Publication date: 6 January 2017

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/forma-2016-0009

zbMATH Keywords

Cousin's lemmaCousin's theoremnested intervals theorem

Mathematics Subject Classification ID

Complete metric spaces (54E50) Mechanization of proofs and logical operations (03B35)

Related Items (1)

Gauge integral

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semantics of MML Query - Ordering
• Conway's Games and Some of their Basic Properties
• A Pedagogical History of Compactness
• Return to the Riemann Integral

This page was built for publication: Cousin's Lemma