Session Nullstellensatz
View
theory dependencies
View
document
View
outline
Theories
HOL-Types_To_Sets.Types_To_Sets
File ‹local_typedef.ML›
File ‹unoverloading.ML›
File ‹internalize_sort.ML›
File ‹unoverload_type.ML›
File ‹unoverload_def.ML›
Algebraically_Closed_Fields
Lex_Order_PP
Univariate_PM
Nullstellensatz
Nullstellensatz_Field