Complete_Non_Orders Dependents

Formalizing Results on Directed Sets

by Akihisa Yamada and Jérémy Dubut