Theorem Ring.inverse_sub_inverse

Modification history