Theorem Ordinal.zero_mod

Modification history