Theorem Ordinal.nhds_left_eq_nhds

Modification history