Theorem Ordinal.nhdsBasis_Ioc

Modification history