# 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 19951: Finite Quotient Dimension Subtracts Subspace Dimension - ID: `q-20261014-advance-20261106-r07-quotient-vector-space-0076`; number: 19951 - Processing: second_context_reviewed - MKO: [mko-quotient-vector-space](/en/mko/mko-quotient-vector-space/) - Family: [qf-mod37-quotient-dimension-formula](/en/explore/?family=qf-mod37-quotient-dimension-formula) - Batch: [batch-20261014-advance-20261106-r07-quotient-vector-space-foundations](/en/explore/?batch=batch-20261014-advance-20261106-r07-quotient-vector-space-foundations) - [Derivation](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0076/) / [Markdown](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0076/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0076.json) ## Question 19952: Finite Quotient Dimension Subtracts Subspace Dimension - ID: `q-20261014-advance-20261106-r07-quotient-vector-space-0077`; number: 19952 - Processing: second_context_reviewed - MKO: [mko-quotient-vector-space](/en/mko/mko-quotient-vector-space/) - Family: [qf-mod37-quotient-dimension-formula](/en/explore/?family=qf-mod37-quotient-dimension-formula) - Batch: [batch-20261014-advance-20261106-r07-quotient-vector-space-foundations](/en/explore/?batch=batch-20261014-advance-20261106-r07-quotient-vector-space-foundations) - [Derivation](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0077/) / [Markdown](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0077/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0077.json) ## Question 19953: Finite Quotient Dimension Subtracts Subspace Dimension - ID: `q-20261014-advance-20261106-r07-quotient-vector-space-0078`; number: 19953 - Processing: second_context_reviewed - MKO: [mko-quotient-vector-space](/en/mko/mko-quotient-vector-space/) - Family: [qf-mod37-quotient-dimension-formula](/en/explore/?family=qf-mod37-quotient-dimension-formula) - Batch: [batch-20261014-advance-20261106-r07-quotient-vector-space-foundations](/en/explore/?batch=batch-20261014-advance-20261106-r07-quotient-vector-space-foundations) - [Derivation](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0078/) / [Markdown](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0078/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0078.json) ## Question 19954: Finite Quotient Dimension Subtracts Subspace Dimension - ID: `q-20261014-advance-20261106-r07-quotient-vector-space-0079`; number: 19954 - Processing: second_context_reviewed - MKO: [mko-quotient-vector-space](/en/mko/mko-quotient-vector-space/) - Family: [qf-mod37-quotient-dimension-formula](/en/explore/?family=qf-mod37-quotient-dimension-formula) - Batch: [batch-20261014-advance-20261106-r07-quotient-vector-space-foundations](/en/explore/?batch=batch-20261014-advance-20261106-r07-quotient-vector-space-foundations) - [Derivation](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0079/) / [Markdown](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0079/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0079.json) ## Question 19955: Finite Quotient Dimension Subtracts Subspace Dimension - ID: `q-20261014-advance-20261106-r07-quotient-vector-space-0080`; number: 19955 - Processing: second_context_reviewed - MKO: [mko-quotient-vector-space](/en/mko/mko-quotient-vector-space/) - Family: [qf-mod37-quotient-dimension-formula](/en/explore/?family=qf-mod37-quotient-dimension-formula) - Batch: [batch-20261014-advance-20261106-r07-quotient-vector-space-foundations](/en/explore/?batch=batch-20261014-advance-20261106-r07-quotient-vector-space-foundations) - [Derivation](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0080/) / [Markdown](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0080/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0080.json) ## Question 19956: Finite Quotient Dimension Subtracts Subspace Dimension - ID: `q-20261014-advance-20261106-r07-quotient-vector-space-0081`; number: 19956 - Processing: second_context_reviewed - MKO: [mko-quotient-vector-space](/en/mko/mko-quotient-vector-space/) - Family: [qf-mod37-quotient-dimension-formula](/en/explore/?family=qf-mod37-quotient-dimension-formula) - Batch: [batch-20261014-advance-20261106-r07-quotient-vector-space-foundations](/en/explore/?batch=batch-20261014-advance-20261106-r07-quotient-vector-space-foundations) - [Derivation](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0081/) / [Markdown](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0081/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0081.json) ## Question 19957: Finite Quotient Dimension Subtracts Subspace Dimension - ID: `q-20261014-advance-20261106-r07-quotient-vector-space-0082`; number: 19957 - Processing: second_context_reviewed - MKO: [mko-quotient-vector-space](/en/mko/mko-quotient-vector-space/) - Family: [qf-mod37-quotient-dimension-formula](/en/explore/?family=qf-mod37-quotient-dimension-formula) - Batch: [batch-20261014-advance-20261106-r07-quotient-vector-space-foundations](/en/explore/?batch=batch-20261014-advance-20261106-r07-quotient-vector-space-foundations) - [Derivation](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0082/) / [Markdown](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0082/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0082.json) ## Question 19958: Finite Quotient Dimension Subtracts Subspace Dimension - ID: `q-20261014-advance-20261106-r07-quotient-vector-space-0083`; number: 19958 - Processing: second_context_reviewed - MKO: [mko-quotient-vector-space](/en/mko/mko-quotient-vector-space/) - Family: [qf-mod37-quotient-dimension-formula](/en/explore/?family=qf-mod37-quotient-dimension-formula) - Batch: [batch-20261014-advance-20261106-r07-quotient-vector-space-foundations](/en/explore/?batch=batch-20261014-advance-20261106-r07-quotient-vector-space-foundations) - [Derivation](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0083/) / [Markdown](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0083/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0083.json) ## Question 19959: Finite Quotient Dimension Subtracts Subspace Dimension - ID: `q-20261014-advance-20261106-r07-quotient-vector-space-0084`; number: 19959 - Processing: second_context_reviewed - MKO: [mko-quotient-vector-space](/en/mko/mko-quotient-vector-space/) - Family: [qf-mod37-quotient-dimension-formula](/en/explore/?family=qf-mod37-quotient-dimension-formula) - Batch: [batch-20261014-advance-20261106-r07-quotient-vector-space-foundations](/en/explore/?batch=batch-20261014-advance-20261106-r07-quotient-vector-space-foundations) - [Derivation](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0084/) / [Markdown](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0084/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0084.json) ## Question 19960: Finite Quotient Dimension Subtracts Subspace Dimension - ID: `q-20261014-advance-20261106-r07-quotient-vector-space-0085`; number: 19960 - Processing: second_context_reviewed - MKO: [mko-quotient-vector-space](/en/mko/mko-quotient-vector-space/) - Family: [qf-mod37-quotient-dimension-formula](/en/explore/?family=qf-mod37-quotient-dimension-formula) - Batch: [batch-20261014-advance-20261106-r07-quotient-vector-space-foundations](/en/explore/?batch=batch-20261014-advance-20261106-r07-quotient-vector-space-foundations) - [Derivation](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0085/) / [Markdown](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0085/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0085.json) ## Question 19961: Finite Quotient Dimension Subtracts Subspace Dimension - ID: `q-20261014-advance-20261106-r07-quotient-vector-space-0086`; number: 19961 - Processing: second_context_reviewed - MKO: [mko-quotient-vector-space](/en/mko/mko-quotient-vector-space/) - Family: [qf-mod37-quotient-dimension-formula](/en/explore/?family=qf-mod37-quotient-dimension-formula) - Batch: [batch-20261014-advance-20261106-r07-quotient-vector-space-foundations](/en/explore/?batch=batch-20261014-advance-20261106-r07-quotient-vector-space-foundations) - [Derivation](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0086/) / [Markdown](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0086/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0086.json) ## Question 19962: Finite Quotient Dimension Subtracts Subspace Dimension - ID: `q-20261014-advance-20261106-r07-quotient-vector-space-0087`; number: 19962 - Processing: second_context_reviewed - MKO: [mko-quotient-vector-space](/en/mko/mko-quotient-vector-space/) - Family: [qf-mod37-quotient-dimension-formula](/en/explore/?family=qf-mod37-quotient-dimension-formula) - Batch: [batch-20261014-advance-20261106-r07-quotient-vector-space-foundations](/en/explore/?batch=batch-20261014-advance-20261106-r07-quotient-vector-space-foundations) - [Derivation](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0087/) / [Markdown](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0087/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0087.json) ## Question 19963: Finite Quotient Dimension Subtracts Subspace Dimension - ID: `q-20261014-advance-20261106-r07-quotient-vector-space-0088`; number: 19963 - Processing: second_context_reviewed - MKO: [mko-quotient-vector-space](/en/mko/mko-quotient-vector-space/) - Family: [qf-mod37-quotient-dimension-formula](/en/explore/?family=qf-mod37-quotient-dimension-formula) - Batch: [batch-20261014-advance-20261106-r07-quotient-vector-space-foundations](/en/explore/?batch=batch-20261014-advance-20261106-r07-quotient-vector-space-foundations) - [Derivation](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0088/) / [Markdown](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0088/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0088.json) ## Question 19964: Finite Quotient Dimension Subtracts Subspace Dimension - ID: `q-20261014-advance-20261106-r07-quotient-vector-space-0089`; number: 19964 - Processing: second_context_reviewed - MKO: [mko-quotient-vector-space](/en/mko/mko-quotient-vector-space/) - Family: [qf-mod37-quotient-dimension-formula](/en/explore/?family=qf-mod37-quotient-dimension-formula) - Batch: [batch-20261014-advance-20261106-r07-quotient-vector-space-foundations](/en/explore/?batch=batch-20261014-advance-20261106-r07-quotient-vector-space-foundations) - [Derivation](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0089/) / [Markdown](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0089/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0089.json) ## Question 19965: Finite Quotient Dimension Subtracts Subspace Dimension - ID: `q-20261014-advance-20261106-r07-quotient-vector-space-0090`; number: 19965 - Processing: second_context_reviewed - MKO: [mko-quotient-vector-space](/en/mko/mko-quotient-vector-space/) - Family: [qf-mod37-quotient-dimension-formula](/en/explore/?family=qf-mod37-quotient-dimension-formula) - Batch: [batch-20261014-advance-20261106-r07-quotient-vector-space-foundations](/en/explore/?batch=batch-20261014-advance-20261106-r07-quotient-vector-space-foundations) - [Derivation](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0090/) / [Markdown](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0090/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0090.json) ## Question 19966: Finite Quotient Dimension Subtracts Subspace Dimension - ID: `q-20261014-advance-20261106-r07-quotient-vector-space-0091`; number: 19966 - Processing: second_context_reviewed - MKO: [mko-quotient-vector-space](/en/mko/mko-quotient-vector-space/) - Family: [qf-mod37-quotient-dimension-formula](/en/explore/?family=qf-mod37-quotient-dimension-formula) - Batch: [batch-20261014-advance-20261106-r07-quotient-vector-space-foundations](/en/explore/?batch=batch-20261014-advance-20261106-r07-quotient-vector-space-foundations) - [Derivation](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0091/) / [Markdown](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0091/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0091.json) ## Question 19967: Finite Quotient Dimension Subtracts Subspace Dimension - ID: `q-20261014-advance-20261106-r07-quotient-vector-space-0092`; number: 19967 - Processing: second_context_reviewed - MKO: [mko-quotient-vector-space](/en/mko/mko-quotient-vector-space/) - Family: [qf-mod37-quotient-dimension-formula](/en/explore/?family=qf-mod37-quotient-dimension-formula) - Batch: [batch-20261014-advance-20261106-r07-quotient-vector-space-foundations](/en/explore/?batch=batch-20261014-advance-20261106-r07-quotient-vector-space-foundations) - [Derivation](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0092/) / [Markdown](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0092/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0092.json) ## Question 19968: Finite Quotient Dimension Subtracts Subspace Dimension - ID: `q-20261014-advance-20261106-r07-quotient-vector-space-0093`; number: 19968 - Processing: second_context_reviewed - MKO: [mko-quotient-vector-space](/en/mko/mko-quotient-vector-space/) - Family: [qf-mod37-quotient-dimension-formula](/en/explore/?family=qf-mod37-quotient-dimension-formula) - Batch: [batch-20261014-advance-20261106-r07-quotient-vector-space-foundations](/en/explore/?batch=batch-20261014-advance-20261106-r07-quotient-vector-space-foundations) - [Derivation](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0093/) / [Markdown](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0093/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0093.json) ## Question 19969: Finite Quotient Dimension Subtracts Subspace Dimension - ID: `q-20261014-advance-20261106-r07-quotient-vector-space-0094`; number: 19969 - Processing: second_context_reviewed - MKO: [mko-quotient-vector-space](/en/mko/mko-quotient-vector-space/) - Family: [qf-mod37-quotient-dimension-formula](/en/explore/?family=qf-mod37-quotient-dimension-formula) - Batch: [batch-20261014-advance-20261106-r07-quotient-vector-space-foundations](/en/explore/?batch=batch-20261014-advance-20261106-r07-quotient-vector-space-foundations) - [Derivation](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0094/) / [Markdown](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0094/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0094.json) ## Question 19970: Finite Quotient Dimension Subtracts Subspace Dimension - ID: `q-20261014-advance-20261106-r07-quotient-vector-space-0095`; number: 19970 - Processing: second_context_reviewed - MKO: [mko-quotient-vector-space](/en/mko/mko-quotient-vector-space/) - Family: [qf-mod37-quotient-dimension-formula](/en/explore/?family=qf-mod37-quotient-dimension-formula) - Batch: [batch-20261014-advance-20261106-r07-quotient-vector-space-foundations](/en/explore/?batch=batch-20261014-advance-20261106-r07-quotient-vector-space-foundations) - [Derivation](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0095/) / [Markdown](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0095/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0095.json) ## Question 19971: Finite Quotient Dimension Subtracts Subspace Dimension - ID: `q-20261014-advance-20261106-r07-quotient-vector-space-0096`; number: 19971 - Processing: second_context_reviewed - MKO: [mko-quotient-vector-space](/en/mko/mko-quotient-vector-space/) - Family: [qf-mod37-quotient-dimension-formula](/en/explore/?family=qf-mod37-quotient-dimension-formula) - Batch: [batch-20261014-advance-20261106-r07-quotient-vector-space-foundations](/en/explore/?batch=batch-20261014-advance-20261106-r07-quotient-vector-space-foundations) - [Derivation](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0096/) / [Markdown](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0096/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0096.json) ## Question 19972: Finite Quotient Dimension Subtracts Subspace Dimension - ID: `q-20261014-advance-20261106-r07-quotient-vector-space-0097`; number: 19972 - Processing: second_context_reviewed - MKO: [mko-quotient-vector-space](/en/mko/mko-quotient-vector-space/) - Family: [qf-mod37-quotient-dimension-formula](/en/explore/?family=qf-mod37-quotient-dimension-formula) - Batch: [batch-20261014-advance-20261106-r07-quotient-vector-space-foundations](/en/explore/?batch=batch-20261014-advance-20261106-r07-quotient-vector-space-foundations) - [Derivation](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0097/) / [Markdown](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0097/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0097.json) ## Question 19973: Finite Quotient Dimension Subtracts Subspace Dimension - ID: `q-20261014-advance-20261106-r07-quotient-vector-space-0098`; number: 19973 - Processing: second_context_reviewed - MKO: [mko-quotient-vector-space](/en/mko/mko-quotient-vector-space/) - Family: [qf-mod37-quotient-dimension-formula](/en/explore/?family=qf-mod37-quotient-dimension-formula) - Batch: [batch-20261014-advance-20261106-r07-quotient-vector-space-foundations](/en/explore/?batch=batch-20261014-advance-20261106-r07-quotient-vector-space-foundations) - [Derivation](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0098/) / [Markdown](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0098/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0098.json) ## Question 19974: Finite Quotient Dimension Subtracts Subspace Dimension - ID: `q-20261014-advance-20261106-r07-quotient-vector-space-0099`; number: 19974 - Processing: second_context_reviewed - MKO: [mko-quotient-vector-space](/en/mko/mko-quotient-vector-space/) - Family: [qf-mod37-quotient-dimension-formula](/en/explore/?family=qf-mod37-quotient-dimension-formula) - Batch: [batch-20261014-advance-20261106-r07-quotient-vector-space-foundations](/en/explore/?batch=batch-20261014-advance-20261106-r07-quotient-vector-space-foundations) - [Derivation](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0099/) / [Markdown](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0099/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0099.json) ## Question 19975: Finite Quotient Dimension Subtracts Subspace Dimension - ID: `q-20261014-advance-20261106-r07-quotient-vector-space-0100`; number: 19975 - Processing: second_context_reviewed - MKO: [mko-quotient-vector-space](/en/mko/mko-quotient-vector-space/) - Family: [qf-mod37-quotient-dimension-formula](/en/explore/?family=qf-mod37-quotient-dimension-formula) - Batch: [batch-20261014-advance-20261106-r07-quotient-vector-space-foundations](/en/explore/?batch=batch-20261014-advance-20261106-r07-quotient-vector-space-foundations) - [Derivation](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0100/) / [Markdown](/en/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0100/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261106-r07-quotient-vector-space-0100.json)