Theorem circleMap_zero_int_mul

Modification history