div_add_one — Mathlib · SciLib

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

div_add_one

Mathlib.Algebra.Field.Basic

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

← MathLib Explorer