Theorem Sym2.lift₂_mk''

Modification history