Cousin's Lemma
type: Item
instance of: scholarly article
title: Cousin's Lemma
zbMATH Open document ID: 1352.54020
author: Roland Coghetto
published in: Formalized Mathematics
publication date: 2017-01-06T00:00:00Z
Mathematics Subject Classification ID: 54E50
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 6671056
zbMATH Keywords: Cousin's lemma
zbMATH Keywords: Cousin's theorem
zbMATH Keywords: nested intervals theorem
MaRDI profile type: Publication
full work available at URL: forma-2016-0009
OpenAlex ID: W2563706385
Wikidata QID: Q124816928
cites work: Semantics of MML query -- ordering
cites work: Return to the Riemann Integral
cites work: Q4523439
cites work: Q5474390
cites work: Q3152414
cites work: Conway's games and some of their basic properties
cites work: A Pedagogical History of Compactness
cites work: Q3505047
cites work: Q4258069
DOI: 10.1515/FORMA-2016-0009
Recommended article: Cousin’s lemma in second-order arithmetic
Recommended article: Q4287029
Recommended article: Titu’s Lemma
Recommended article: Cousin complexes without partially exact Cousin complex arguments
Recommended article: Q4357393
Recommended article: Q4917752
Recommended article: The Covering Lemma
Recommended article: Bishop's Lemma
Recommended article: Q5770042
Recommended article: The converse of Lallement's lemma
description: scientific article; zbMATH DE number 6671056