Theorem Ordinal.div_self

Modification history