Theorem Cardinal.lift_mk_le

Modification history