Theorem CFC.sqrt_map_prod

Modification history