Theorem Ordinal.nfp_zero

Modification history