∫ Утверждение Mathlib
Mathlib.RingTheory.WittVector.InitTail
URI: https://scilib.ai/kg/mathlib#WittVector.init_nsmul
← MathLib Explorer