Theorem Ordinal.preOmega_strictMono

Modification history