Theorem Circle.normSq_coe

Modification history