same_sub_div — Mathlib · SciLib

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

same_sub_div

Mathlib.Algebra.Field.Basic

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

← MathLib Explorer