Theorem MonoidHom.map_frobenius

Modification history