init.data.sigma.lex ⟷ Mathlib.Init.Data.Sigma.Lex

Dependencies 3

Show graph

The unported dependencies are

• init.logic
• init.core
• init.data.sigma.basic