Theorem SuccOrder.nhdsLT_eq_nhdsNE

Modification history