Theorem Ordinal.bddAbove_iff_small

Modification history