Theorem Ordinal.nfp_zero_left

Modification history