# 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. 200 results; page 4/8. ## Question 7476: Typed Source Restriction and Complete Collision Witnesses - ID: `q-20261012-advance-20261016-r06-injective-0076`; number: 7476 - Processing: second_context_reviewed - MKO: [mko-injective](/en/mko/mko-injective/) - Family: [qf-density16-inj-restriction-subset-witness](/en/explore/?family=qf-density16-inj-restriction-subset-witness) - Batch: [batch-20261012-advance-20261016-r06-injective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r06-injective-foundations) - [Derivation](/en/questions/q-20261012-advance-20261016-r06-injective-0076/) / [Markdown](/en/questions/q-20261012-advance-20261016-r06-injective-0076/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r06-injective-0076.json) ## Question 7477: Typed Source Restriction and Complete Collision Witnesses - ID: `q-20261012-advance-20261016-r06-injective-0077`; number: 7477 - Processing: second_context_reviewed - MKO: [mko-injective](/en/mko/mko-injective/) - Family: [qf-density16-inj-restriction-subset-witness](/en/explore/?family=qf-density16-inj-restriction-subset-witness) - Batch: [batch-20261012-advance-20261016-r06-injective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r06-injective-foundations) - [Derivation](/en/questions/q-20261012-advance-20261016-r06-injective-0077/) / [Markdown](/en/questions/q-20261012-advance-20261016-r06-injective-0077/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r06-injective-0077.json) ## Question 7478: Typed Source Restriction and Complete Collision Witnesses - ID: `q-20261012-advance-20261016-r06-injective-0078`; number: 7478 - Processing: second_context_reviewed - MKO: [mko-injective](/en/mko/mko-injective/) - Family: [qf-density16-inj-restriction-subset-witness](/en/explore/?family=qf-density16-inj-restriction-subset-witness) - Batch: [batch-20261012-advance-20261016-r06-injective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r06-injective-foundations) - [Derivation](/en/questions/q-20261012-advance-20261016-r06-injective-0078/) / [Markdown](/en/questions/q-20261012-advance-20261016-r06-injective-0078/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r06-injective-0078.json) ## Question 7479: Typed Source Restriction and Complete Collision Witnesses - ID: `q-20261012-advance-20261016-r06-injective-0079`; number: 7479 - Processing: second_context_reviewed - MKO: [mko-injective](/en/mko/mko-injective/) - Family: [qf-density16-inj-restriction-subset-witness](/en/explore/?family=qf-density16-inj-restriction-subset-witness) - Batch: [batch-20261012-advance-20261016-r06-injective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r06-injective-foundations) - [Derivation](/en/questions/q-20261012-advance-20261016-r06-injective-0079/) / [Markdown](/en/questions/q-20261012-advance-20261016-r06-injective-0079/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r06-injective-0079.json) ## Question 7480: Typed Source Restriction and Complete Collision Witnesses - ID: `q-20261012-advance-20261016-r06-injective-0080`; number: 7480 - Processing: second_context_reviewed - MKO: [mko-injective](/en/mko/mko-injective/) - Family: [qf-density16-inj-restriction-subset-witness](/en/explore/?family=qf-density16-inj-restriction-subset-witness) - Batch: [batch-20261012-advance-20261016-r06-injective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r06-injective-foundations) - [Derivation](/en/questions/q-20261012-advance-20261016-r06-injective-0080/) / [Markdown](/en/questions/q-20261012-advance-20261016-r06-injective-0080/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r06-injective-0080.json) ## Question 7481: Typed Source Restriction and Complete Collision Witnesses - ID: `q-20261012-advance-20261016-r06-injective-0081`; number: 7481 - Processing: second_context_reviewed - MKO: [mko-injective](/en/mko/mko-injective/) - Family: [qf-density16-inj-restriction-subset-witness](/en/explore/?family=qf-density16-inj-restriction-subset-witness) - Batch: [batch-20261012-advance-20261016-r06-injective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r06-injective-foundations) - [Derivation](/en/questions/q-20261012-advance-20261016-r06-injective-0081/) / [Markdown](/en/questions/q-20261012-advance-20261016-r06-injective-0081/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r06-injective-0081.json) ## Question 7482: Typed Source Restriction and Complete Collision Witnesses - ID: `q-20261012-advance-20261016-r06-injective-0082`; number: 7482 - Processing: second_context_reviewed - MKO: [mko-injective](/en/mko/mko-injective/) - Family: [qf-density16-inj-restriction-subset-witness](/en/explore/?family=qf-density16-inj-restriction-subset-witness) - Batch: [batch-20261012-advance-20261016-r06-injective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r06-injective-foundations) - [Derivation](/en/questions/q-20261012-advance-20261016-r06-injective-0082/) / [Markdown](/en/questions/q-20261012-advance-20261016-r06-injective-0082/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r06-injective-0082.json) ## Question 7483: Typed Source Restriction and Complete Collision Witnesses - ID: `q-20261012-advance-20261016-r06-injective-0083`; number: 7483 - Processing: second_context_reviewed - MKO: [mko-injective](/en/mko/mko-injective/) - Family: [qf-density16-inj-restriction-subset-witness](/en/explore/?family=qf-density16-inj-restriction-subset-witness) - Batch: [batch-20261012-advance-20261016-r06-injective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r06-injective-foundations) - [Derivation](/en/questions/q-20261012-advance-20261016-r06-injective-0083/) / [Markdown](/en/questions/q-20261012-advance-20261016-r06-injective-0083/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r06-injective-0083.json) ## Question 7484: Typed Source Restriction and Complete Collision Witnesses - ID: `q-20261012-advance-20261016-r06-injective-0084`; number: 7484 - Processing: second_context_reviewed - MKO: [mko-injective](/en/mko/mko-injective/) - Family: [qf-density16-inj-restriction-subset-witness](/en/explore/?family=qf-density16-inj-restriction-subset-witness) - Batch: [batch-20261012-advance-20261016-r06-injective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r06-injective-foundations) - [Derivation](/en/questions/q-20261012-advance-20261016-r06-injective-0084/) / [Markdown](/en/questions/q-20261012-advance-20261016-r06-injective-0084/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r06-injective-0084.json) ## Question 7485: Typed Source Restriction and Complete Collision Witnesses - ID: `q-20261012-advance-20261016-r06-injective-0085`; number: 7485 - Processing: second_context_reviewed - MKO: [mko-injective](/en/mko/mko-injective/) - Family: [qf-density16-inj-restriction-subset-witness](/en/explore/?family=qf-density16-inj-restriction-subset-witness) - Batch: [batch-20261012-advance-20261016-r06-injective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r06-injective-foundations) - [Derivation](/en/questions/q-20261012-advance-20261016-r06-injective-0085/) / [Markdown](/en/questions/q-20261012-advance-20261016-r06-injective-0085/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r06-injective-0085.json) ## Question 7486: Typed Source Restriction and Complete Collision Witnesses - ID: `q-20261012-advance-20261016-r06-injective-0086`; number: 7486 - Processing: second_context_reviewed - MKO: [mko-injective](/en/mko/mko-injective/) - Family: [qf-density16-inj-restriction-subset-witness](/en/explore/?family=qf-density16-inj-restriction-subset-witness) - Batch: [batch-20261012-advance-20261016-r06-injective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r06-injective-foundations) - [Derivation](/en/questions/q-20261012-advance-20261016-r06-injective-0086/) / [Markdown](/en/questions/q-20261012-advance-20261016-r06-injective-0086/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r06-injective-0086.json) ## Question 7487: Typed Source Restriction and Complete Collision Witnesses - ID: `q-20261012-advance-20261016-r06-injective-0087`; number: 7487 - Processing: second_context_reviewed - MKO: [mko-injective](/en/mko/mko-injective/) - Family: [qf-density16-inj-restriction-subset-witness](/en/explore/?family=qf-density16-inj-restriction-subset-witness) - Batch: [batch-20261012-advance-20261016-r06-injective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r06-injective-foundations) - [Derivation](/en/questions/q-20261012-advance-20261016-r06-injective-0087/) / [Markdown](/en/questions/q-20261012-advance-20261016-r06-injective-0087/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r06-injective-0087.json) ## Question 7488: Typed Source Restriction and Complete Collision Witnesses - ID: `q-20261012-advance-20261016-r06-injective-0088`; number: 7488 - Processing: second_context_reviewed - MKO: [mko-injective](/en/mko/mko-injective/) - Family: [qf-density16-inj-restriction-subset-witness](/en/explore/?family=qf-density16-inj-restriction-subset-witness) - Batch: [batch-20261012-advance-20261016-r06-injective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r06-injective-foundations) - [Derivation](/en/questions/q-20261012-advance-20261016-r06-injective-0088/) / [Markdown](/en/questions/q-20261012-advance-20261016-r06-injective-0088/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r06-injective-0088.json) ## Question 7489: Typed Source Restriction and Complete Collision Witnesses - ID: `q-20261012-advance-20261016-r06-injective-0089`; number: 7489 - Processing: second_context_reviewed - MKO: [mko-injective](/en/mko/mko-injective/) - Family: [qf-density16-inj-restriction-subset-witness](/en/explore/?family=qf-density16-inj-restriction-subset-witness) - Batch: [batch-20261012-advance-20261016-r06-injective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r06-injective-foundations) - [Derivation](/en/questions/q-20261012-advance-20261016-r06-injective-0089/) / [Markdown](/en/questions/q-20261012-advance-20261016-r06-injective-0089/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r06-injective-0089.json) ## Question 7490: Typed Source Restriction and Complete Collision Witnesses - ID: `q-20261012-advance-20261016-r06-injective-0090`; number: 7490 - Processing: second_context_reviewed - MKO: [mko-injective](/en/mko/mko-injective/) - Family: [qf-density16-inj-restriction-subset-witness](/en/explore/?family=qf-density16-inj-restriction-subset-witness) - Batch: [batch-20261012-advance-20261016-r06-injective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r06-injective-foundations) - [Derivation](/en/questions/q-20261012-advance-20261016-r06-injective-0090/) / [Markdown](/en/questions/q-20261012-advance-20261016-r06-injective-0090/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r06-injective-0090.json) ## Question 7491: Typed Source Restriction and Complete Collision Witnesses - ID: `q-20261012-advance-20261016-r06-injective-0091`; number: 7491 - Processing: second_context_reviewed - MKO: [mko-injective](/en/mko/mko-injective/) - Family: [qf-density16-inj-restriction-subset-witness](/en/explore/?family=qf-density16-inj-restriction-subset-witness) - Batch: [batch-20261012-advance-20261016-r06-injective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r06-injective-foundations) - [Derivation](/en/questions/q-20261012-advance-20261016-r06-injective-0091/) / [Markdown](/en/questions/q-20261012-advance-20261016-r06-injective-0091/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r06-injective-0091.json) ## Question 7492: Typed Source Restriction and Complete Collision Witnesses - ID: `q-20261012-advance-20261016-r06-injective-0092`; number: 7492 - Processing: second_context_reviewed - MKO: [mko-injective](/en/mko/mko-injective/) - Family: [qf-density16-inj-restriction-subset-witness](/en/explore/?family=qf-density16-inj-restriction-subset-witness) - Batch: [batch-20261012-advance-20261016-r06-injective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r06-injective-foundations) - [Derivation](/en/questions/q-20261012-advance-20261016-r06-injective-0092/) / [Markdown](/en/questions/q-20261012-advance-20261016-r06-injective-0092/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r06-injective-0092.json) ## Question 7493: Typed Source Restriction and Complete Collision Witnesses - ID: `q-20261012-advance-20261016-r06-injective-0093`; number: 7493 - Processing: second_context_reviewed - MKO: [mko-injective](/en/mko/mko-injective/) - Family: [qf-density16-inj-restriction-subset-witness](/en/explore/?family=qf-density16-inj-restriction-subset-witness) - Batch: [batch-20261012-advance-20261016-r06-injective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r06-injective-foundations) - [Derivation](/en/questions/q-20261012-advance-20261016-r06-injective-0093/) / [Markdown](/en/questions/q-20261012-advance-20261016-r06-injective-0093/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r06-injective-0093.json) ## Question 7494: Typed Source Restriction and Complete Collision Witnesses - ID: `q-20261012-advance-20261016-r06-injective-0094`; number: 7494 - Processing: second_context_reviewed - MKO: [mko-injective](/en/mko/mko-injective/) - Family: [qf-density16-inj-restriction-subset-witness](/en/explore/?family=qf-density16-inj-restriction-subset-witness) - Batch: [batch-20261012-advance-20261016-r06-injective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r06-injective-foundations) - [Derivation](/en/questions/q-20261012-advance-20261016-r06-injective-0094/) / [Markdown](/en/questions/q-20261012-advance-20261016-r06-injective-0094/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r06-injective-0094.json) ## Question 7495: Typed Source Restriction and Complete Collision Witnesses - ID: `q-20261012-advance-20261016-r06-injective-0095`; number: 7495 - Processing: second_context_reviewed - MKO: [mko-injective](/en/mko/mko-injective/) - Family: [qf-density16-inj-restriction-subset-witness](/en/explore/?family=qf-density16-inj-restriction-subset-witness) - Batch: [batch-20261012-advance-20261016-r06-injective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r06-injective-foundations) - [Derivation](/en/questions/q-20261012-advance-20261016-r06-injective-0095/) / [Markdown](/en/questions/q-20261012-advance-20261016-r06-injective-0095/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r06-injective-0095.json) ## Question 7496: Typed Source Restriction and Complete Collision Witnesses - ID: `q-20261012-advance-20261016-r06-injective-0096`; number: 7496 - Processing: second_context_reviewed - MKO: [mko-injective](/en/mko/mko-injective/) - Family: [qf-density16-inj-restriction-subset-witness](/en/explore/?family=qf-density16-inj-restriction-subset-witness) - Batch: [batch-20261012-advance-20261016-r06-injective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r06-injective-foundations) - [Derivation](/en/questions/q-20261012-advance-20261016-r06-injective-0096/) / [Markdown](/en/questions/q-20261012-advance-20261016-r06-injective-0096/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r06-injective-0096.json) ## Question 7497: Typed Source Restriction and Complete Collision Witnesses - ID: `q-20261012-advance-20261016-r06-injective-0097`; number: 7497 - Processing: second_context_reviewed - MKO: [mko-injective](/en/mko/mko-injective/) - Family: [qf-density16-inj-restriction-subset-witness](/en/explore/?family=qf-density16-inj-restriction-subset-witness) - Batch: [batch-20261012-advance-20261016-r06-injective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r06-injective-foundations) - [Derivation](/en/questions/q-20261012-advance-20261016-r06-injective-0097/) / [Markdown](/en/questions/q-20261012-advance-20261016-r06-injective-0097/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r06-injective-0097.json) ## Question 7498: Typed Source Restriction and Complete Collision Witnesses - ID: `q-20261012-advance-20261016-r06-injective-0098`; number: 7498 - Processing: second_context_reviewed - MKO: [mko-injective](/en/mko/mko-injective/) - Family: [qf-density16-inj-restriction-subset-witness](/en/explore/?family=qf-density16-inj-restriction-subset-witness) - Batch: [batch-20261012-advance-20261016-r06-injective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r06-injective-foundations) - [Derivation](/en/questions/q-20261012-advance-20261016-r06-injective-0098/) / [Markdown](/en/questions/q-20261012-advance-20261016-r06-injective-0098/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r06-injective-0098.json) ## Question 7499: Typed Source Restriction and Complete Collision Witnesses - ID: `q-20261012-advance-20261016-r06-injective-0099`; number: 7499 - Processing: second_context_reviewed - MKO: [mko-injective](/en/mko/mko-injective/) - Family: [qf-density16-inj-restriction-subset-witness](/en/explore/?family=qf-density16-inj-restriction-subset-witness) - Batch: [batch-20261012-advance-20261016-r06-injective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r06-injective-foundations) - [Derivation](/en/questions/q-20261012-advance-20261016-r06-injective-0099/) / [Markdown](/en/questions/q-20261012-advance-20261016-r06-injective-0099/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r06-injective-0099.json) ## Question 7500: Typed Source Restriction and Complete Collision Witnesses - ID: `q-20261012-advance-20261016-r06-injective-0100`; number: 7500 - Processing: second_context_reviewed - MKO: [mko-injective](/en/mko/mko-injective/) - Family: [qf-density16-inj-restriction-subset-witness](/en/explore/?family=qf-density16-inj-restriction-subset-witness) - Batch: [batch-20261012-advance-20261016-r06-injective-foundations](/en/explore/?batch=batch-20261012-advance-20261016-r06-injective-foundations) - [Derivation](/en/questions/q-20261012-advance-20261016-r06-injective-0100/) / [Markdown](/en/questions/q-20261012-advance-20261016-r06-injective-0100/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261016-r06-injective-0100.json) [Next](/en/explore/index.md?mko=mko-injective&page=5)