Theorem circleMap_zero_mul

Modification history