Template:Phprinciple/doc

This template is for annotating mathematical proofs that use the 'pigeonhole' principle.