Theorem StandardEtalePresentation.exists_mul_aeval_x_g_pow_eq_aeval_x

Modification history