Theorem Perfection.coeff_iterate_frobenius

Modification history