Theorem Ordinal.fp_iff_derivFamily

Modification history