Algebraically Closed Fields in Isabelle/HOL (Q5049003)

From MaRDI portal
scientific article; zbMATH DE number 7614671
Language Label Description Also known as
English
Algebraically Closed Fields in Isabelle/HOL
scientific article; zbMATH DE number 7614671

    Statements