Homotopy Type Theory opposite preorder > history

< opposite preorder