Lebesgue's dominated convergence theorem in Bishop's style (Q651319)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Lebesgue's dominated convergence theorem in Bishop's style |
scientific article |
Statements
Lebesgue's dominated convergence theorem in Bishop's style (English)
0 references
12 December 2011
0 references
constructive mathematics
0 references
ordered sets
0 references
uniform spaces
0 references
Lebesgue's dominated convergence theorem
0 references
uniform lattices
0 references
0 references
