Theorem Ordinal.enum_zero_le'

Modification history