Theorem IsUnit.ring_inverse

Modification history