Theorem Ordinal.div_def

Modification history