Theorem circleMap_zero_pow

Modification history