Theorem Ordinal.fp_iff_derivBFamily

Modification history