Local Rings Are Equivalently Local Algebras for the Zariski Coverage

Updated YesterdayPublic

Actions

A page showing that local rings are local algebras, so that I don’t find myself periodically having to rework the proof because I forgot it

To be finished once I actually (re-)prove it and figure out how to put latex stuff in a phorge page