term_→ᶠⁱ[_,_]_ — Mathlib · SciLib

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

term_→ᶠⁱ[_,_]_

Mathlib.RingTheory.WittVector.Isocrystal

URI: https://scilib.ai/kg/mathlib#Isocrystal.term_→ᶠⁱ[_,_]_

← MathLib Explorer