Theorem invOf_add_invOf

Modification history