Theorem AddMonoidHom.completion_zero

Modification history