Theorem Ordinal.nhds_left'_eq_nhds_ne

Modification history