Theorem Additive.isAddHom

Modification history