Mathematics/Order
Subject Classification
AMS: Order, lattices, ordered algebraic structures
2025
Formal Proof of Dilworth's Theorem
by Vivek Soorya Maadoori, Syed Mohammad Meesum, Shiv Pillai, T. V. H. Prathamesh and Aditya Swami
2024
Minimal, Maximal, Least, and Greatest Elements w.r.t. Restricted Ordering
by Martin Desharnais-Schäfer