Theorem Ordinal.bddAbove_of_small

Modification history