Nagata's prime-generated factoriality theorem

Source: url:https://github.com/arthur742ramos/nagatafactoriality Authors: Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira Status: verified Main declarations: NagataFactoriality.nagata_theorem Tags: commutative-algebra MSC: 13F15