Rename File: from_prime_division-c.ri

File Manager