Theorem is_ideal_adic_pow

Modification history