Documentation

LeanPool.NashWilliams.Combinatorics.Front

Nash-Williams fronts, their ranks and restrictions, and the Nash-Williams theorem.