Theorem Ordinal.not_bddAbove_fp

Modification history