Theorem Con.lift_mk'

Modification history