Login / Signup

Formalization of some central theorems in combinatorics of finite sets.

Abhishek Kr Singh
Published in: CoRR (2017)
Keyphrases