WikiLean Articles · Brain · Recent changes · Proposals · Flags · Stats · About

Diff — Compact space

Revision #2538 → #3228 · back to history

modifiedEquivalent compactness conditions for metric spacesb4d3db57ac84
FieldFrom #2538To #3228
mathlib.declUniformSpace.isCompact_iff_isSeqCompactisCompact_iff_isSeqCompact
provenanceaiai-moderated
modifiedCompact iff sequentially compact in metrizable space20f0ea7bcc73
FieldFrom #2538To #3228
mathlib.declUniformSpace.isCompact_iff_isSeqCompactisCompact_iff_isSeqCompact
provenanceaiai-moderated