Theorem Cardinal.lift_mk_shrink'

Modification history