Theorem Sym2.other_invol'

Modification history