Read about our upcoming Code of Conduct on this issue

Commit 961912a9 authored by Lukas Stevens's avatar Lukas Stevens
Browse files

Update tile to match metadata

parent e81a252628db
......@@ -13,7 +13,7 @@
\title{Szpilrajn Extension Theorem}
\title{Order Extension and Szpilrajn's Theorem}
\author{Peter Zeller and Lukas Stevens}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment