Theorem Ring.inverse_add_inverse

Modification history