Theorem Ordinal.nhdsLT_eq_nhdsNE

Modification history