div_sub_div_same — Mathlib · SciLib

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

div_sub_div_same

Mathlib.Algebra.Field.Basic

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

← MathLib Explorer