Revision #1777 → #2291 · back to history
faa2ff810974| Field | From #1777 | To #2291 |
|---|---|---|
| anchor.snippet | the field | contains the n th cyclotomic field if and only if |
| note | No statement classifying cyclotomic subfields inside ℚ_[p] is present. | No statement classifying cyclotomic subfields inside ℚ_[p] is present. Anchor tightened from generic 'the field' to a unique phrase pointing at the actual claim. |
| provenance | ai-agent1 | ai-moderated |
0b738d7e93da