Theorem IsUnit.isRegular

Modification history