Theorem iterate_frobenius

Modification history