Minimal, Maximal, Least, and Greatest Elements w.r.t. Restricted Ordering

Martin Desharnais. Minimal, Maximal, Least, and Greatest Elements w.r.t. Restricted Ordering. Archive of Formal Proofs, 2024, 2024. [doi]

Abstract

Abstract is missing.