Revision #1825 → #2320 · back to history
modifiedPolar form of n th roots of a complex number83e88beba778
| Field | From #1825 | To #2320 |
|---|
| mathlib.module | Mathlib.RingTheory.Polynomial.Basic | Mathlib.Algebra.Polynomial.Roots |
modifiedOther values of multivalued logarithm and exponentiation93a7085406d1
| Field | From #1825 | To #2320 |
|---|
| anchor.snippet | If | denotes one of the values of the multivalued logarithm |
| note | Mathlib uses principal values; no multivalued branch enumeration. | Mathlib uses principal values; no multivalued branch enumeration. Anchor tightened to disambiguate from other 'If' sentences in this section. |
| provenance | ai | ai-moderated |
modifiedNumber of values of z^w for rational wa13de209f360
| Field | From #1825 | To #2320 |
|---|
| anchor.snippet | If | is a rational number with m and n coprime integers |
| note | No multivalued count lemma in Mathlib. | No multivalued count lemma in Mathlib. Anchor tightened to disambiguate from other 'If' sentences in this section. |
| provenance | ai | ai-moderated |