Theorem Ordinal.nfp_mul_zero

Modification history