Content deleted Content added
m →Leopoldt's Spiegelungssatz: WP:CHECKWIKI error fix for #99. Broken sup tag. Do general fixes if a problem exists. -, replaced: <sup>φ(1)</sub> → <sup>φ(1)</sup> using AWB (9957) |
mizar proof |
||
Line 31:
{{reflist}}
* {{cite book | first=Helmut | last=Koch | title=Algebraic Number Theory | publisher=[[Springer-Verlag]] | year=1997 | isbn=3-540-63003-1 | zbl=0819.11044 | series=Encycl. Math. Sci. | volume=62 | edition=2nd printing of 1st | pages=147–149 }}
==External links==
* [[Mizar system]] proof: http://mizar.org/version/current/html/zf_refle.html
[[Category:Theorems in algebraic number theory]]
| |||