init.function ⟷ Mathlib.Init.Function

Dependencies 3

Show graph

The unported dependencies are

• init.data.prod
• init.logic
• init.core