Theorem inv_add_inv'

Modification history