Theorem Ordinal.zero_div

Modification history