Theorem Ordinal.max_eq_zero

Modification history