Theorem abs_circleMap_zero

Modification history