init.algebra.functions ⟷ Mathlib.Init.Order.LinearOrder

Dependencies 2 + 1

Show graph

The unported dependencies are

• init.logic
• init.core