Theorem Ordinal.omega_strictMono

Modification history