Theorem Ordinal.mod_mod

Modification history