Inductive Mathlib.Meta.Nat.UnifyZeroOrSuccResult

Modification history