Theorem IsUnit.det_zpow

Modification history