Homotopy Type Theory dense strict order > history

< DLO