Theorem CFC.sqrt_map_pi

Modification history