init.data.nat.lemmas ⟷ Mathlib.Init.Data.Nat.Lemmas

Dependencies 3

Show graph

The unported dependencies are

• init.data.nat.basic
• init.logic
• init.core