Theorem invOf_sub_invOf

Modification history