Theorem Cardinal.lift_min

Modification history