Documentation
LeanPool
.
NagataFactoriality
.
NagataFactoriality
Search
return to top
source
Imports
Init
LeanPool.NagataFactoriality.NagataFactoriality.Applications
LeanPool.NagataFactoriality.NagataFactoriality.Basic
LeanPool.NagataFactoriality.NagataFactoriality.Localization
LeanPool.NagataFactoriality.NagataFactoriality.Nagata
Imported by
NagataFactoriality
#
Supporting results for Nagata’s factoriality theorem.