Sadly those links are not even stubs!
]]>I changed
If is a perfect field then is a discrete valuation.
to
If is a perfect field then is a discrete valuation ring.
since I don’t think the former even parses.
]]>typo
Yun
]]>typo
Yun
]]>Pointed out that the ring of big Witt vectors is represented by the free lambda-ring on one generator (no coincidence; this follows by easy abstract nonsense).
]]>