Theorem Ordinal.brange_const

Modification history