Theorem Perfection.coeff_iterate_frobenius'

Modification history