/src/Helium/Relation/Binary/Properties/
../
StrictTotalOrder.agda