mathlib3

refactor(algebra/associated): rename nonzero_of_irreducible to ne_zero_of_irreducible

#1009

Merged