Theorem Ordinal.principal_nfp_blsub₂

Modification history