Theorem Ordinal.nhds_eq_pure

Modification history