Session Grothendieck_Schemes
View
theory dependencies
View
document
View
outline
Theories
HOL-Library.FuncSet
Jacobson_Basic_Algebra.Set_Theory
Jacobson_Basic_Algebra.Group_Theory
Set_Extras
Group_Extras
Topological_Space
Jacobson_Basic_Algebra.Ring_Theory
Comm_Ring
Scheme