# 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.

100 results; page 1/4.

## Question 15801: A Nonzero Integer Slope Supplies a Universal Injection, Not a Sample Guess

- ID: `q-20261014-advance-20261031-r01-at-most-countable-set-0026`; number: 15801
- Processing: second_context_reviewed
- MKO: [mko-at-most-countable-set](/en/mko/mko-at-most-countable-set/)
- Family: [qf-mod31-countable-affine-injection](/en/explore/?family=qf-mod31-countable-affine-injection)
- Batch: [batch-20261014-advance-20261031-r01-at-most-countable-set-foundations](/en/explore/?batch=batch-20261014-advance-20261031-r01-at-most-countable-set-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0026/) / [Markdown](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0026/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0026.json)

## Question 15802: A Nonzero Integer Slope Supplies a Universal Injection, Not a Sample Guess

- ID: `q-20261014-advance-20261031-r01-at-most-countable-set-0027`; number: 15802
- Processing: second_context_reviewed
- MKO: [mko-at-most-countable-set](/en/mko/mko-at-most-countable-set/)
- Family: [qf-mod31-countable-affine-injection](/en/explore/?family=qf-mod31-countable-affine-injection)
- Batch: [batch-20261014-advance-20261031-r01-at-most-countable-set-foundations](/en/explore/?batch=batch-20261014-advance-20261031-r01-at-most-countable-set-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0027/) / [Markdown](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0027/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0027.json)

## Question 15803: A Nonzero Integer Slope Supplies a Universal Injection, Not a Sample Guess

- ID: `q-20261014-advance-20261031-r01-at-most-countable-set-0028`; number: 15803
- Processing: second_context_reviewed
- MKO: [mko-at-most-countable-set](/en/mko/mko-at-most-countable-set/)
- Family: [qf-mod31-countable-affine-injection](/en/explore/?family=qf-mod31-countable-affine-injection)
- Batch: [batch-20261014-advance-20261031-r01-at-most-countable-set-foundations](/en/explore/?batch=batch-20261014-advance-20261031-r01-at-most-countable-set-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0028/) / [Markdown](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0028/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0028.json)

## Question 15804: A Nonzero Integer Slope Supplies a Universal Injection, Not a Sample Guess

- ID: `q-20261014-advance-20261031-r01-at-most-countable-set-0029`; number: 15804
- Processing: second_context_reviewed
- MKO: [mko-at-most-countable-set](/en/mko/mko-at-most-countable-set/)
- Family: [qf-mod31-countable-affine-injection](/en/explore/?family=qf-mod31-countable-affine-injection)
- Batch: [batch-20261014-advance-20261031-r01-at-most-countable-set-foundations](/en/explore/?batch=batch-20261014-advance-20261031-r01-at-most-countable-set-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0029/) / [Markdown](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0029/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0029.json)

## Question 15805: A Nonzero Integer Slope Supplies a Universal Injection, Not a Sample Guess

- ID: `q-20261014-advance-20261031-r01-at-most-countable-set-0030`; number: 15805
- Processing: second_context_reviewed
- MKO: [mko-at-most-countable-set](/en/mko/mko-at-most-countable-set/)
- Family: [qf-mod31-countable-affine-injection](/en/explore/?family=qf-mod31-countable-affine-injection)
- Batch: [batch-20261014-advance-20261031-r01-at-most-countable-set-foundations](/en/explore/?batch=batch-20261014-advance-20261031-r01-at-most-countable-set-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0030/) / [Markdown](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0030/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0030.json)

## Question 15806: A Nonzero Integer Slope Supplies a Universal Injection, Not a Sample Guess

- ID: `q-20261014-advance-20261031-r01-at-most-countable-set-0031`; number: 15806
- Processing: second_context_reviewed
- MKO: [mko-at-most-countable-set](/en/mko/mko-at-most-countable-set/)
- Family: [qf-mod31-countable-affine-injection](/en/explore/?family=qf-mod31-countable-affine-injection)
- Batch: [batch-20261014-advance-20261031-r01-at-most-countable-set-foundations](/en/explore/?batch=batch-20261014-advance-20261031-r01-at-most-countable-set-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0031/) / [Markdown](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0031/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0031.json)

## Question 15807: A Nonzero Integer Slope Supplies a Universal Injection, Not a Sample Guess

- ID: `q-20261014-advance-20261031-r01-at-most-countable-set-0032`; number: 15807
- Processing: second_context_reviewed
- MKO: [mko-at-most-countable-set](/en/mko/mko-at-most-countable-set/)
- Family: [qf-mod31-countable-affine-injection](/en/explore/?family=qf-mod31-countable-affine-injection)
- Batch: [batch-20261014-advance-20261031-r01-at-most-countable-set-foundations](/en/explore/?batch=batch-20261014-advance-20261031-r01-at-most-countable-set-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0032/) / [Markdown](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0032/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0032.json)

## Question 15808: A Nonzero Integer Slope Supplies a Universal Injection, Not a Sample Guess

- ID: `q-20261014-advance-20261031-r01-at-most-countable-set-0033`; number: 15808
- Processing: second_context_reviewed
- MKO: [mko-at-most-countable-set](/en/mko/mko-at-most-countable-set/)
- Family: [qf-mod31-countable-affine-injection](/en/explore/?family=qf-mod31-countable-affine-injection)
- Batch: [batch-20261014-advance-20261031-r01-at-most-countable-set-foundations](/en/explore/?batch=batch-20261014-advance-20261031-r01-at-most-countable-set-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0033/) / [Markdown](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0033/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0033.json)

## Question 15809: A Nonzero Integer Slope Supplies a Universal Injection, Not a Sample Guess

- ID: `q-20261014-advance-20261031-r01-at-most-countable-set-0034`; number: 15809
- Processing: second_context_reviewed
- MKO: [mko-at-most-countable-set](/en/mko/mko-at-most-countable-set/)
- Family: [qf-mod31-countable-affine-injection](/en/explore/?family=qf-mod31-countable-affine-injection)
- Batch: [batch-20261014-advance-20261031-r01-at-most-countable-set-foundations](/en/explore/?batch=batch-20261014-advance-20261031-r01-at-most-countable-set-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0034/) / [Markdown](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0034/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0034.json)

## Question 15810: A Nonzero Integer Slope Supplies a Universal Injection, Not a Sample Guess

- ID: `q-20261014-advance-20261031-r01-at-most-countable-set-0035`; number: 15810
- Processing: second_context_reviewed
- MKO: [mko-at-most-countable-set](/en/mko/mko-at-most-countable-set/)
- Family: [qf-mod31-countable-affine-injection](/en/explore/?family=qf-mod31-countable-affine-injection)
- Batch: [batch-20261014-advance-20261031-r01-at-most-countable-set-foundations](/en/explore/?batch=batch-20261014-advance-20261031-r01-at-most-countable-set-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0035/) / [Markdown](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0035/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0035.json)

## Question 15811: A Nonzero Integer Slope Supplies a Universal Injection, Not a Sample Guess

- ID: `q-20261014-advance-20261031-r01-at-most-countable-set-0036`; number: 15811
- Processing: second_context_reviewed
- MKO: [mko-at-most-countable-set](/en/mko/mko-at-most-countable-set/)
- Family: [qf-mod31-countable-affine-injection](/en/explore/?family=qf-mod31-countable-affine-injection)
- Batch: [batch-20261014-advance-20261031-r01-at-most-countable-set-foundations](/en/explore/?batch=batch-20261014-advance-20261031-r01-at-most-countable-set-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0036/) / [Markdown](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0036/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0036.json)

## Question 15812: A Nonzero Integer Slope Supplies a Universal Injection, Not a Sample Guess

- ID: `q-20261014-advance-20261031-r01-at-most-countable-set-0037`; number: 15812
- Processing: second_context_reviewed
- MKO: [mko-at-most-countable-set](/en/mko/mko-at-most-countable-set/)
- Family: [qf-mod31-countable-affine-injection](/en/explore/?family=qf-mod31-countable-affine-injection)
- Batch: [batch-20261014-advance-20261031-r01-at-most-countable-set-foundations](/en/explore/?batch=batch-20261014-advance-20261031-r01-at-most-countable-set-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0037/) / [Markdown](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0037/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0037.json)

## Question 15813: A Nonzero Integer Slope Supplies a Universal Injection, Not a Sample Guess

- ID: `q-20261014-advance-20261031-r01-at-most-countable-set-0038`; number: 15813
- Processing: second_context_reviewed
- MKO: [mko-at-most-countable-set](/en/mko/mko-at-most-countable-set/)
- Family: [qf-mod31-countable-affine-injection](/en/explore/?family=qf-mod31-countable-affine-injection)
- Batch: [batch-20261014-advance-20261031-r01-at-most-countable-set-foundations](/en/explore/?batch=batch-20261014-advance-20261031-r01-at-most-countable-set-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0038/) / [Markdown](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0038/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0038.json)

## Question 15814: A Nonzero Integer Slope Supplies a Universal Injection, Not a Sample Guess

- ID: `q-20261014-advance-20261031-r01-at-most-countable-set-0039`; number: 15814
- Processing: second_context_reviewed
- MKO: [mko-at-most-countable-set](/en/mko/mko-at-most-countable-set/)
- Family: [qf-mod31-countable-affine-injection](/en/explore/?family=qf-mod31-countable-affine-injection)
- Batch: [batch-20261014-advance-20261031-r01-at-most-countable-set-foundations](/en/explore/?batch=batch-20261014-advance-20261031-r01-at-most-countable-set-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0039/) / [Markdown](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0039/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0039.json)

## Question 15815: A Nonzero Integer Slope Supplies a Universal Injection, Not a Sample Guess

- ID: `q-20261014-advance-20261031-r01-at-most-countable-set-0040`; number: 15815
- Processing: second_context_reviewed
- MKO: [mko-at-most-countable-set](/en/mko/mko-at-most-countable-set/)
- Family: [qf-mod31-countable-affine-injection](/en/explore/?family=qf-mod31-countable-affine-injection)
- Batch: [batch-20261014-advance-20261031-r01-at-most-countable-set-foundations](/en/explore/?batch=batch-20261014-advance-20261031-r01-at-most-countable-set-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0040/) / [Markdown](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0040/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0040.json)

## Question 15816: A Nonzero Integer Slope Supplies a Universal Injection, Not a Sample Guess

- ID: `q-20261014-advance-20261031-r01-at-most-countable-set-0041`; number: 15816
- Processing: second_context_reviewed
- MKO: [mko-at-most-countable-set](/en/mko/mko-at-most-countable-set/)
- Family: [qf-mod31-countable-affine-injection](/en/explore/?family=qf-mod31-countable-affine-injection)
- Batch: [batch-20261014-advance-20261031-r01-at-most-countable-set-foundations](/en/explore/?batch=batch-20261014-advance-20261031-r01-at-most-countable-set-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0041/) / [Markdown](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0041/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0041.json)

## Question 15817: A Nonzero Integer Slope Supplies a Universal Injection, Not a Sample Guess

- ID: `q-20261014-advance-20261031-r01-at-most-countable-set-0042`; number: 15817
- Processing: second_context_reviewed
- MKO: [mko-at-most-countable-set](/en/mko/mko-at-most-countable-set/)
- Family: [qf-mod31-countable-affine-injection](/en/explore/?family=qf-mod31-countable-affine-injection)
- Batch: [batch-20261014-advance-20261031-r01-at-most-countable-set-foundations](/en/explore/?batch=batch-20261014-advance-20261031-r01-at-most-countable-set-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0042/) / [Markdown](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0042/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0042.json)

## Question 15818: A Nonzero Integer Slope Supplies a Universal Injection, Not a Sample Guess

- ID: `q-20261014-advance-20261031-r01-at-most-countable-set-0043`; number: 15818
- Processing: second_context_reviewed
- MKO: [mko-at-most-countable-set](/en/mko/mko-at-most-countable-set/)
- Family: [qf-mod31-countable-affine-injection](/en/explore/?family=qf-mod31-countable-affine-injection)
- Batch: [batch-20261014-advance-20261031-r01-at-most-countable-set-foundations](/en/explore/?batch=batch-20261014-advance-20261031-r01-at-most-countable-set-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0043/) / [Markdown](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0043/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0043.json)

## Question 15819: A Nonzero Integer Slope Supplies a Universal Injection, Not a Sample Guess

- ID: `q-20261014-advance-20261031-r01-at-most-countable-set-0044`; number: 15819
- Processing: second_context_reviewed
- MKO: [mko-at-most-countable-set](/en/mko/mko-at-most-countable-set/)
- Family: [qf-mod31-countable-affine-injection](/en/explore/?family=qf-mod31-countable-affine-injection)
- Batch: [batch-20261014-advance-20261031-r01-at-most-countable-set-foundations](/en/explore/?batch=batch-20261014-advance-20261031-r01-at-most-countable-set-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0044/) / [Markdown](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0044/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0044.json)

## Question 15820: A Nonzero Integer Slope Supplies a Universal Injection, Not a Sample Guess

- ID: `q-20261014-advance-20261031-r01-at-most-countable-set-0045`; number: 15820
- Processing: second_context_reviewed
- MKO: [mko-at-most-countable-set](/en/mko/mko-at-most-countable-set/)
- Family: [qf-mod31-countable-affine-injection](/en/explore/?family=qf-mod31-countable-affine-injection)
- Batch: [batch-20261014-advance-20261031-r01-at-most-countable-set-foundations](/en/explore/?batch=batch-20261014-advance-20261031-r01-at-most-countable-set-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0045/) / [Markdown](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0045/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0045.json)

## Question 15821: A Nonzero Integer Slope Supplies a Universal Injection, Not a Sample Guess

- ID: `q-20261014-advance-20261031-r01-at-most-countable-set-0046`; number: 15821
- Processing: second_context_reviewed
- MKO: [mko-at-most-countable-set](/en/mko/mko-at-most-countable-set/)
- Family: [qf-mod31-countable-affine-injection](/en/explore/?family=qf-mod31-countable-affine-injection)
- Batch: [batch-20261014-advance-20261031-r01-at-most-countable-set-foundations](/en/explore/?batch=batch-20261014-advance-20261031-r01-at-most-countable-set-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0046/) / [Markdown](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0046/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0046.json)

## Question 15822: A Nonzero Integer Slope Supplies a Universal Injection, Not a Sample Guess

- ID: `q-20261014-advance-20261031-r01-at-most-countable-set-0047`; number: 15822
- Processing: second_context_reviewed
- MKO: [mko-at-most-countable-set](/en/mko/mko-at-most-countable-set/)
- Family: [qf-mod31-countable-affine-injection](/en/explore/?family=qf-mod31-countable-affine-injection)
- Batch: [batch-20261014-advance-20261031-r01-at-most-countable-set-foundations](/en/explore/?batch=batch-20261014-advance-20261031-r01-at-most-countable-set-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0047/) / [Markdown](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0047/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0047.json)

## Question 15823: A Nonzero Integer Slope Supplies a Universal Injection, Not a Sample Guess

- ID: `q-20261014-advance-20261031-r01-at-most-countable-set-0048`; number: 15823
- Processing: second_context_reviewed
- MKO: [mko-at-most-countable-set](/en/mko/mko-at-most-countable-set/)
- Family: [qf-mod31-countable-affine-injection](/en/explore/?family=qf-mod31-countable-affine-injection)
- Batch: [batch-20261014-advance-20261031-r01-at-most-countable-set-foundations](/en/explore/?batch=batch-20261014-advance-20261031-r01-at-most-countable-set-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0048/) / [Markdown](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0048/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0048.json)

## Question 15824: A Nonzero Integer Slope Supplies a Universal Injection, Not a Sample Guess

- ID: `q-20261014-advance-20261031-r01-at-most-countable-set-0049`; number: 15824
- Processing: second_context_reviewed
- MKO: [mko-at-most-countable-set](/en/mko/mko-at-most-countable-set/)
- Family: [qf-mod31-countable-affine-injection](/en/explore/?family=qf-mod31-countable-affine-injection)
- Batch: [batch-20261014-advance-20261031-r01-at-most-countable-set-foundations](/en/explore/?batch=batch-20261014-advance-20261031-r01-at-most-countable-set-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0049/) / [Markdown](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0049/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0049.json)

## Question 15825: A Nonzero Integer Slope Supplies a Universal Injection, Not a Sample Guess

- ID: `q-20261014-advance-20261031-r01-at-most-countable-set-0050`; number: 15825
- Processing: second_context_reviewed
- MKO: [mko-at-most-countable-set](/en/mko/mko-at-most-countable-set/)
- Family: [qf-mod31-countable-affine-injection](/en/explore/?family=qf-mod31-countable-affine-injection)
- Batch: [batch-20261014-advance-20261031-r01-at-most-countable-set-foundations](/en/explore/?batch=batch-20261014-advance-20261031-r01-at-most-countable-set-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0050/) / [Markdown](/en/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0050/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261031-r01-at-most-countable-set-0050.json)

[Next](/en/explore/index.md?mko=mko-at-most-countable-set&page=2)