[isabelle] Algebraically closed fields



Dear list,

is there some type class of algebraically closed fields in Isabelle/HOL?
Since such fields are an important and widely used concept I'd be
surprised if not, but a quick search in the library+AFP did not reveal
anything ...

Of course I could easily introduce a suitable type class myself, but I
just wanted to avoid duplicate work.

Best regards,
Alexander






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.