Revision as of 14:14, 8 October 2015 edit Ysangkok (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers, Rollbackers 16,913 edits mizar proof ← Previous edit		Revision as of 21:28, 10 March 2018 edit undo 173.71.98.192 (talk) →External links: This section is moved to Reflection principle Next edit →
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]]

Reflection theorem: Difference between revisions