Theorem Ordinal.mem_brange

Modification history