Theorem Perfection.coeff_frobenius

Modification history