exceedance is equidistributed to antiexceedance
Tags: #theorem
Statement
The number of exceedances is equidistributed to the number of antiexceedances.
Proof
Take the inverse of a permutation. Wherever there was an exceedance becomes an antiexceedance. You can see this if you look at the 2-line notation.