transnumAuxSeq_zero — Mathlib · SciLib

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

transnumAuxSeq_zero

Mathlib.Dynamics.Circle.RotationNumber.TranslationNumber

URI: https://scilib.ai/kg/mathlib#CircleDeg1Lift.transnumAuxSeq_zero

← MathLib Explorer