Puiseux's theorem

Source: url:https://github.com/deancureton/Puiseux/tree/73e78681d7bb78ddb202e29cb92ab3c16b723126 Authors: Dean Cureton Status: verified Main declarations: PuiseuxSeries.isAlgClosure Tags: field-theory, puiseux-series, algebraic-closure, hensel-lemma MSC: 12F05, 13F25