Theorem Ordinal.nfp_add_zero

Modification history