Theorem Ordinal.nfp_mul_opow_omega_add

Modification history