Theorem Ring.inverse_invertible

Modification history