Theorem DirectLimit.zpow_def

Modification history