Theorem Ordinal.bddAbove_range

Modification history