Theorem Cardinal.lift_umax_eq

Modification history