On the formalization of the Sperner theorem

17.07.2021

On the formalization of the Sperner theorem

5th Podlasie Conference on Mathematics, Białystok, Poland, Jun 25-28, 2012

PTM, Białystok University of Technology, University of Białystok (org.)

©2022 Wszystkie prawa zastrzeżone.