Theorem Units.isRegular

Modification history