# OCME · Knowledge & practice explorer

302 MKO / 1,441 families / 360 batches / 36,000 questions.

36,000 second-context math/bilingual reviewed; 0 display/symbol-checked candidates. Source questions: candidate. English: ai_candidate. No new proof, Lean, SREG or training.

25 results; page 1/1.

## Question 22076: A Compact Constant Image Does Not Make an Open-Interval Domain Compact

- ID: `q-20261014-advance-20261110-r03-continuous-image-of-compact-0076`; number: 22076
- Processing: second_context_reviewed
- MKO: [mko-continuous-image-of-compact](/en/mko/mko-continuous-image-of-compact/)
- Family: [qf-mod41-compactimg-reverse-implication-boundary](/en/explore/?family=qf-mod41-compactimg-reverse-implication-boundary)
- Batch: [batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations](/en/explore/?batch=batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0076/) / [Markdown](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0076/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0076.json)

## Question 22077: A Compact Constant Image Does Not Make an Open-Interval Domain Compact

- ID: `q-20261014-advance-20261110-r03-continuous-image-of-compact-0077`; number: 22077
- Processing: second_context_reviewed
- MKO: [mko-continuous-image-of-compact](/en/mko/mko-continuous-image-of-compact/)
- Family: [qf-mod41-compactimg-reverse-implication-boundary](/en/explore/?family=qf-mod41-compactimg-reverse-implication-boundary)
- Batch: [batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations](/en/explore/?batch=batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0077/) / [Markdown](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0077/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0077.json)

## Question 22078: A Compact Constant Image Does Not Make an Open-Interval Domain Compact

- ID: `q-20261014-advance-20261110-r03-continuous-image-of-compact-0078`; number: 22078
- Processing: second_context_reviewed
- MKO: [mko-continuous-image-of-compact](/en/mko/mko-continuous-image-of-compact/)
- Family: [qf-mod41-compactimg-reverse-implication-boundary](/en/explore/?family=qf-mod41-compactimg-reverse-implication-boundary)
- Batch: [batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations](/en/explore/?batch=batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0078/) / [Markdown](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0078/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0078.json)

## Question 22079: A Compact Constant Image Does Not Make an Open-Interval Domain Compact

- ID: `q-20261014-advance-20261110-r03-continuous-image-of-compact-0079`; number: 22079
- Processing: second_context_reviewed
- MKO: [mko-continuous-image-of-compact](/en/mko/mko-continuous-image-of-compact/)
- Family: [qf-mod41-compactimg-reverse-implication-boundary](/en/explore/?family=qf-mod41-compactimg-reverse-implication-boundary)
- Batch: [batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations](/en/explore/?batch=batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0079/) / [Markdown](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0079/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0079.json)

## Question 22080: A Compact Constant Image Does Not Make an Open-Interval Domain Compact

- ID: `q-20261014-advance-20261110-r03-continuous-image-of-compact-0080`; number: 22080
- Processing: second_context_reviewed
- MKO: [mko-continuous-image-of-compact](/en/mko/mko-continuous-image-of-compact/)
- Family: [qf-mod41-compactimg-reverse-implication-boundary](/en/explore/?family=qf-mod41-compactimg-reverse-implication-boundary)
- Batch: [batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations](/en/explore/?batch=batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0080/) / [Markdown](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0080/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0080.json)

## Question 22081: A Compact Constant Image Does Not Make an Open-Interval Domain Compact

- ID: `q-20261014-advance-20261110-r03-continuous-image-of-compact-0081`; number: 22081
- Processing: second_context_reviewed
- MKO: [mko-continuous-image-of-compact](/en/mko/mko-continuous-image-of-compact/)
- Family: [qf-mod41-compactimg-reverse-implication-boundary](/en/explore/?family=qf-mod41-compactimg-reverse-implication-boundary)
- Batch: [batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations](/en/explore/?batch=batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0081/) / [Markdown](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0081/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0081.json)

## Question 22082: A Compact Constant Image Does Not Make an Open-Interval Domain Compact

- ID: `q-20261014-advance-20261110-r03-continuous-image-of-compact-0082`; number: 22082
- Processing: second_context_reviewed
- MKO: [mko-continuous-image-of-compact](/en/mko/mko-continuous-image-of-compact/)
- Family: [qf-mod41-compactimg-reverse-implication-boundary](/en/explore/?family=qf-mod41-compactimg-reverse-implication-boundary)
- Batch: [batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations](/en/explore/?batch=batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0082/) / [Markdown](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0082/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0082.json)

## Question 22083: A Compact Constant Image Does Not Make an Open-Interval Domain Compact

- ID: `q-20261014-advance-20261110-r03-continuous-image-of-compact-0083`; number: 22083
- Processing: second_context_reviewed
- MKO: [mko-continuous-image-of-compact](/en/mko/mko-continuous-image-of-compact/)
- Family: [qf-mod41-compactimg-reverse-implication-boundary](/en/explore/?family=qf-mod41-compactimg-reverse-implication-boundary)
- Batch: [batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations](/en/explore/?batch=batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0083/) / [Markdown](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0083/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0083.json)

## Question 22084: A Compact Constant Image Does Not Make an Open-Interval Domain Compact

- ID: `q-20261014-advance-20261110-r03-continuous-image-of-compact-0084`; number: 22084
- Processing: second_context_reviewed
- MKO: [mko-continuous-image-of-compact](/en/mko/mko-continuous-image-of-compact/)
- Family: [qf-mod41-compactimg-reverse-implication-boundary](/en/explore/?family=qf-mod41-compactimg-reverse-implication-boundary)
- Batch: [batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations](/en/explore/?batch=batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0084/) / [Markdown](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0084/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0084.json)

## Question 22085: A Compact Constant Image Does Not Make an Open-Interval Domain Compact

- ID: `q-20261014-advance-20261110-r03-continuous-image-of-compact-0085`; number: 22085
- Processing: second_context_reviewed
- MKO: [mko-continuous-image-of-compact](/en/mko/mko-continuous-image-of-compact/)
- Family: [qf-mod41-compactimg-reverse-implication-boundary](/en/explore/?family=qf-mod41-compactimg-reverse-implication-boundary)
- Batch: [batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations](/en/explore/?batch=batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0085/) / [Markdown](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0085/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0085.json)

## Question 22086: A Compact Constant Image Does Not Make an Open-Interval Domain Compact

- ID: `q-20261014-advance-20261110-r03-continuous-image-of-compact-0086`; number: 22086
- Processing: second_context_reviewed
- MKO: [mko-continuous-image-of-compact](/en/mko/mko-continuous-image-of-compact/)
- Family: [qf-mod41-compactimg-reverse-implication-boundary](/en/explore/?family=qf-mod41-compactimg-reverse-implication-boundary)
- Batch: [batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations](/en/explore/?batch=batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0086/) / [Markdown](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0086/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0086.json)

## Question 22087: A Compact Constant Image Does Not Make an Open-Interval Domain Compact

- ID: `q-20261014-advance-20261110-r03-continuous-image-of-compact-0087`; number: 22087
- Processing: second_context_reviewed
- MKO: [mko-continuous-image-of-compact](/en/mko/mko-continuous-image-of-compact/)
- Family: [qf-mod41-compactimg-reverse-implication-boundary](/en/explore/?family=qf-mod41-compactimg-reverse-implication-boundary)
- Batch: [batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations](/en/explore/?batch=batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0087/) / [Markdown](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0087/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0087.json)

## Question 22088: A Compact Constant Image Does Not Make an Open-Interval Domain Compact

- ID: `q-20261014-advance-20261110-r03-continuous-image-of-compact-0088`; number: 22088
- Processing: second_context_reviewed
- MKO: [mko-continuous-image-of-compact](/en/mko/mko-continuous-image-of-compact/)
- Family: [qf-mod41-compactimg-reverse-implication-boundary](/en/explore/?family=qf-mod41-compactimg-reverse-implication-boundary)
- Batch: [batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations](/en/explore/?batch=batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0088/) / [Markdown](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0088/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0088.json)

## Question 22089: A Compact Constant Image Does Not Make an Open-Interval Domain Compact

- ID: `q-20261014-advance-20261110-r03-continuous-image-of-compact-0089`; number: 22089
- Processing: second_context_reviewed
- MKO: [mko-continuous-image-of-compact](/en/mko/mko-continuous-image-of-compact/)
- Family: [qf-mod41-compactimg-reverse-implication-boundary](/en/explore/?family=qf-mod41-compactimg-reverse-implication-boundary)
- Batch: [batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations](/en/explore/?batch=batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0089/) / [Markdown](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0089/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0089.json)

## Question 22090: A Compact Constant Image Does Not Make an Open-Interval Domain Compact

- ID: `q-20261014-advance-20261110-r03-continuous-image-of-compact-0090`; number: 22090
- Processing: second_context_reviewed
- MKO: [mko-continuous-image-of-compact](/en/mko/mko-continuous-image-of-compact/)
- Family: [qf-mod41-compactimg-reverse-implication-boundary](/en/explore/?family=qf-mod41-compactimg-reverse-implication-boundary)
- Batch: [batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations](/en/explore/?batch=batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0090/) / [Markdown](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0090/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0090.json)

## Question 22091: A Compact Constant Image Does Not Make an Open-Interval Domain Compact

- ID: `q-20261014-advance-20261110-r03-continuous-image-of-compact-0091`; number: 22091
- Processing: second_context_reviewed
- MKO: [mko-continuous-image-of-compact](/en/mko/mko-continuous-image-of-compact/)
- Family: [qf-mod41-compactimg-reverse-implication-boundary](/en/explore/?family=qf-mod41-compactimg-reverse-implication-boundary)
- Batch: [batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations](/en/explore/?batch=batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0091/) / [Markdown](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0091/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0091.json)

## Question 22092: A Compact Constant Image Does Not Make an Open-Interval Domain Compact

- ID: `q-20261014-advance-20261110-r03-continuous-image-of-compact-0092`; number: 22092
- Processing: second_context_reviewed
- MKO: [mko-continuous-image-of-compact](/en/mko/mko-continuous-image-of-compact/)
- Family: [qf-mod41-compactimg-reverse-implication-boundary](/en/explore/?family=qf-mod41-compactimg-reverse-implication-boundary)
- Batch: [batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations](/en/explore/?batch=batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0092/) / [Markdown](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0092/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0092.json)

## Question 22093: A Compact Constant Image Does Not Make an Open-Interval Domain Compact

- ID: `q-20261014-advance-20261110-r03-continuous-image-of-compact-0093`; number: 22093
- Processing: second_context_reviewed
- MKO: [mko-continuous-image-of-compact](/en/mko/mko-continuous-image-of-compact/)
- Family: [qf-mod41-compactimg-reverse-implication-boundary](/en/explore/?family=qf-mod41-compactimg-reverse-implication-boundary)
- Batch: [batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations](/en/explore/?batch=batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0093/) / [Markdown](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0093/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0093.json)

## Question 22094: A Compact Constant Image Does Not Make an Open-Interval Domain Compact

- ID: `q-20261014-advance-20261110-r03-continuous-image-of-compact-0094`; number: 22094
- Processing: second_context_reviewed
- MKO: [mko-continuous-image-of-compact](/en/mko/mko-continuous-image-of-compact/)
- Family: [qf-mod41-compactimg-reverse-implication-boundary](/en/explore/?family=qf-mod41-compactimg-reverse-implication-boundary)
- Batch: [batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations](/en/explore/?batch=batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0094/) / [Markdown](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0094/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0094.json)

## Question 22095: A Compact Constant Image Does Not Make an Open-Interval Domain Compact

- ID: `q-20261014-advance-20261110-r03-continuous-image-of-compact-0095`; number: 22095
- Processing: second_context_reviewed
- MKO: [mko-continuous-image-of-compact](/en/mko/mko-continuous-image-of-compact/)
- Family: [qf-mod41-compactimg-reverse-implication-boundary](/en/explore/?family=qf-mod41-compactimg-reverse-implication-boundary)
- Batch: [batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations](/en/explore/?batch=batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0095/) / [Markdown](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0095/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0095.json)

## Question 22096: A Compact Constant Image Does Not Make an Open-Interval Domain Compact

- ID: `q-20261014-advance-20261110-r03-continuous-image-of-compact-0096`; number: 22096
- Processing: second_context_reviewed
- MKO: [mko-continuous-image-of-compact](/en/mko/mko-continuous-image-of-compact/)
- Family: [qf-mod41-compactimg-reverse-implication-boundary](/en/explore/?family=qf-mod41-compactimg-reverse-implication-boundary)
- Batch: [batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations](/en/explore/?batch=batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0096/) / [Markdown](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0096/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0096.json)

## Question 22097: A Compact Constant Image Does Not Make an Open-Interval Domain Compact

- ID: `q-20261014-advance-20261110-r03-continuous-image-of-compact-0097`; number: 22097
- Processing: second_context_reviewed
- MKO: [mko-continuous-image-of-compact](/en/mko/mko-continuous-image-of-compact/)
- Family: [qf-mod41-compactimg-reverse-implication-boundary](/en/explore/?family=qf-mod41-compactimg-reverse-implication-boundary)
- Batch: [batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations](/en/explore/?batch=batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0097/) / [Markdown](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0097/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0097.json)

## Question 22098: A Compact Constant Image Does Not Make an Open-Interval Domain Compact

- ID: `q-20261014-advance-20261110-r03-continuous-image-of-compact-0098`; number: 22098
- Processing: second_context_reviewed
- MKO: [mko-continuous-image-of-compact](/en/mko/mko-continuous-image-of-compact/)
- Family: [qf-mod41-compactimg-reverse-implication-boundary](/en/explore/?family=qf-mod41-compactimg-reverse-implication-boundary)
- Batch: [batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations](/en/explore/?batch=batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0098/) / [Markdown](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0098/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0098.json)

## Question 22099: A Compact Constant Image Does Not Make an Open-Interval Domain Compact

- ID: `q-20261014-advance-20261110-r03-continuous-image-of-compact-0099`; number: 22099
- Processing: second_context_reviewed
- MKO: [mko-continuous-image-of-compact](/en/mko/mko-continuous-image-of-compact/)
- Family: [qf-mod41-compactimg-reverse-implication-boundary](/en/explore/?family=qf-mod41-compactimg-reverse-implication-boundary)
- Batch: [batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations](/en/explore/?batch=batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0099/) / [Markdown](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0099/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0099.json)

## Question 22100: A Compact Constant Image Does Not Make an Open-Interval Domain Compact

- ID: `q-20261014-advance-20261110-r03-continuous-image-of-compact-0100`; number: 22100
- Processing: second_context_reviewed
- MKO: [mko-continuous-image-of-compact](/en/mko/mko-continuous-image-of-compact/)
- Family: [qf-mod41-compactimg-reverse-implication-boundary](/en/explore/?family=qf-mod41-compactimg-reverse-implication-boundary)
- Batch: [batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations](/en/explore/?batch=batch-20261014-advance-20261110-r03-continuous-image-of-compact-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0100/) / [Markdown](/en/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0100/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261110-r03-continuous-image-of-compact-0100.json)