Theorem Ordinal.lift_id'

Modification history