Carrier-elder pigeonhole: a bar of nonzero multiplicity has two distinct pin cells (one b-band, one at least b-band) whose below-descents coincide

Initializing...

Carrier-elder pigeonhole: a bar of nonzero multiplicity has two distinct pin cells (one b-band, one at least b-band) whose below-descents coincide · Prove2Me