Theorem Ordinal.nfp_monotone

Modification history