Theorem Ordinal.mul_ne_zero

Modification history