Theorem Ring.IsUnit.ringInverse

Modification history