Theorem Sym2.lift_mk

Modification history