Theorem Ordinal.nfp_zero_mul

Modification history