Theorem IsUnit.unit_pow

Modification history