Theorem invOf_div

Modification history