Theorem Ordinal.lift_inj

Modification history