Theorem isUnit_ringInverse

Modification history