Theorem Ordinal.lift_down'

Modification history