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

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

term_≃ᶠⁱ[_,_]_

Mathlib.RingTheory.WittVector.Isocrystal

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

← MathLib Explorer