Theorem coe_iterateFrobenius

Modification history