Fully Mechanized Proofs of Dilworths Theorem and Mirskys Theorem

https://scirate.com/arxiv/1703.06133

0 Scites