Theorem Sym2.lift_mk''

Modification history