Theorem Cardinal.lift_down

Modification history