Theorem Ordinal.lt_omega0

Modification history