Theorem Ordinal.blsub_eq_of_brange_eq

Modification history