Prove version of B-Y impossibility without anonymity

[DominikPeters]

Hi! This is a cool project. As a suggestion, you could consider formalizing our strengthened version of the BY impossibility that does not use anonymity:
https://dominik-peters.de/publications/apportionment-journal.pdf#page=8

[mdbrnowski]

Interesting! Thank you for pointing that out -- I'll definitely take a look at it when I have some time.