mathlib3

251e418a - feat(ring_theory/nakayama): Alternative Statements of Nakayama's Lemma (#9150)