Theorem Cardinal.lift_umax'

Modification history