J
érémy
D
ubut
Homepages 🌐
http://group-mmm.org/~dubut/
E-Mails 📧
pj
.
og
.
tsia
@
tubud
.
ymerej
Entries
2023
Formalizing Results on Directed Sets
by
Akihisa Yamada
and
Jérémy Dubut
May 24
2019
Complete Non-Orders and Fixed Points
by
Akihisa Yamada
and
Jérémy Dubut
Jun 27