Theorem DirectLimit.zpow₀_def

Modification history