Theorem Ordinal.limit_le

Modification history