Theorem Ordinal.not_bddAbove_fp_bfamily

Modification history