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

mem_rangeS_self

Mathlib.Algebra.Ring.Subsemiring.Basic

URI: https://scilib.ai/kg/mathlib#RingHom.mem_rangeS_self

← MathLib Explorer