coe_iterateFrobenius_mul — Mathlib · SciLib

∫ Утверждение Mathlib

coe_iterateFrobenius_mul

Mathlib.Algebra.CharP.Frobenius

URI: https://scilib.ai/kg/mathlib#coe_iterateFrobenius_mul

← MathLib Explorer