Theorem IsUnit.ringInverse

Modification history