Theorem Ordinal.nfpFamily_eq_self

Modification history