Theorem circleMap_zero_inv

Modification history