Theorem Ring.inverse_of_isUnit

Modification history