Theorem invOf_two_add_invOf_two

Modification history