Lagrange Inversion Counts 35bar241-Avoiding Permutations
In a previous paper, we showed that 35bar241-avoiding permutations are counted by the unique sequence that starts with a 1 and shifts left under the self-composition transform. The proof uses a complicated bijection. Here we give a much simpler proof based on Lagrange inversion.
