# 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 20301: A Complete Larger-Domain Map Has Two Distinct Sources with One Image

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0001`; number: 20301
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-collision-witness](/en/explore/?family=qf-mod38-pigeon-collision-witness)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0001/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0001/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0001.json)

## Question 20302: A Complete Larger-Domain Map Has Two Distinct Sources with One Image

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0002`; number: 20302
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-collision-witness](/en/explore/?family=qf-mod38-pigeon-collision-witness)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0002/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0002/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0002.json)

## Question 20303: A Complete Larger-Domain Map Has Two Distinct Sources with One Image

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0003`; number: 20303
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-collision-witness](/en/explore/?family=qf-mod38-pigeon-collision-witness)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0003/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0003/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0003.json)

## Question 20304: A Complete Larger-Domain Map Has Two Distinct Sources with One Image

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0004`; number: 20304
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-collision-witness](/en/explore/?family=qf-mod38-pigeon-collision-witness)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0004/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0004/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0004.json)

## Question 20305: A Complete Larger-Domain Map Has Two Distinct Sources with One Image

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0005`; number: 20305
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-collision-witness](/en/explore/?family=qf-mod38-pigeon-collision-witness)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0005/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0005/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0005.json)

## Question 20306: A Complete Larger-Domain Map Has Two Distinct Sources with One Image

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0006`; number: 20306
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-collision-witness](/en/explore/?family=qf-mod38-pigeon-collision-witness)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0006/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0006/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0006.json)

## Question 20307: A Complete Larger-Domain Map Has Two Distinct Sources with One Image

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0007`; number: 20307
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-collision-witness](/en/explore/?family=qf-mod38-pigeon-collision-witness)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0007/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0007/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0007.json)

## Question 20308: A Complete Larger-Domain Map Has Two Distinct Sources with One Image

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0008`; number: 20308
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-collision-witness](/en/explore/?family=qf-mod38-pigeon-collision-witness)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0008/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0008/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0008.json)

## Question 20309: A Complete Larger-Domain Map Has Two Distinct Sources with One Image

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0009`; number: 20309
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-collision-witness](/en/explore/?family=qf-mod38-pigeon-collision-witness)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0009/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0009/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0009.json)

## Question 20310: A Complete Larger-Domain Map Has Two Distinct Sources with One Image

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0010`; number: 20310
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-collision-witness](/en/explore/?family=qf-mod38-pigeon-collision-witness)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0010/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0010/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0010.json)

## Question 20311: A Complete Larger-Domain Map Has Two Distinct Sources with One Image

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0011`; number: 20311
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-collision-witness](/en/explore/?family=qf-mod38-pigeon-collision-witness)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0011/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0011/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0011.json)

## Question 20312: A Complete Larger-Domain Map Has Two Distinct Sources with One Image

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0012`; number: 20312
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-collision-witness](/en/explore/?family=qf-mod38-pigeon-collision-witness)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0012/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0012/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0012.json)

## Question 20313: A Complete Larger-Domain Map Has Two Distinct Sources with One Image

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0013`; number: 20313
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-collision-witness](/en/explore/?family=qf-mod38-pigeon-collision-witness)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0013/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0013/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0013.json)

## Question 20314: A Complete Larger-Domain Map Has Two Distinct Sources with One Image

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0014`; number: 20314
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-collision-witness](/en/explore/?family=qf-mod38-pigeon-collision-witness)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0014/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0014/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0014.json)

## Question 20315: A Complete Larger-Domain Map Has Two Distinct Sources with One Image

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0015`; number: 20315
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-collision-witness](/en/explore/?family=qf-mod38-pigeon-collision-witness)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0015/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0015/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0015.json)

## Question 20316: A Complete Larger-Domain Map Has Two Distinct Sources with One Image

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0016`; number: 20316
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-collision-witness](/en/explore/?family=qf-mod38-pigeon-collision-witness)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0016/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0016/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0016.json)

## Question 20317: A Complete Larger-Domain Map Has Two Distinct Sources with One Image

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0017`; number: 20317
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-collision-witness](/en/explore/?family=qf-mod38-pigeon-collision-witness)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0017/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0017/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0017.json)

## Question 20318: A Complete Larger-Domain Map Has Two Distinct Sources with One Image

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0018`; number: 20318
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-collision-witness](/en/explore/?family=qf-mod38-pigeon-collision-witness)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0018/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0018/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0018.json)

## Question 20319: A Complete Larger-Domain Map Has Two Distinct Sources with One Image

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0019`; number: 20319
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-collision-witness](/en/explore/?family=qf-mod38-pigeon-collision-witness)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0019/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0019/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0019.json)

## Question 20320: A Complete Larger-Domain Map Has Two Distinct Sources with One Image

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0020`; number: 20320
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-collision-witness](/en/explore/?family=qf-mod38-pigeon-collision-witness)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0020/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0020/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0020.json)

## Question 20321: A Complete Larger-Domain Map Has Two Distinct Sources with One Image

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0021`; number: 20321
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-collision-witness](/en/explore/?family=qf-mod38-pigeon-collision-witness)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0021/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0021/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0021.json)

## Question 20322: A Complete Larger-Domain Map Has Two Distinct Sources with One Image

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0022`; number: 20322
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-collision-witness](/en/explore/?family=qf-mod38-pigeon-collision-witness)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0022/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0022/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0022.json)

## Question 20323: A Complete Larger-Domain Map Has Two Distinct Sources with One Image

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0023`; number: 20323
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-collision-witness](/en/explore/?family=qf-mod38-pigeon-collision-witness)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0023/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0023/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0023.json)

## Question 20324: A Complete Larger-Domain Map Has Two Distinct Sources with One Image

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0024`; number: 20324
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-collision-witness](/en/explore/?family=qf-mod38-pigeon-collision-witness)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0024/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0024/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0024.json)

## Question 20325: A Complete Larger-Domain Map Has Two Distinct Sources with One Image

- ID: `q-20261014-advance-20261107-r05-pigeonhole-principle-0025`; number: 20325
- Processing: second_context_reviewed
- MKO: [mko-pigeonhole-principle](/en/mko/mko-pigeonhole-principle/)
- Family: [qf-mod38-pigeon-collision-witness](/en/explore/?family=qf-mod38-pigeon-collision-witness)
- Batch: [batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations](/en/explore/?batch=batch-20261014-advance-20261107-r05-pigeonhole-principle-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0025/) / [Markdown](/en/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0025/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261107-r05-pigeonhole-principle-0025.json)

