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

one_mem_toNonUnitalSubsemiring

Mathlib.Algebra.Ring.Subsemiring.Defs

URI: https://scilib.ai/kg/mathlib#Subsemiring.one_mem_toNonUnitalSubsemiring

← MathLib Explorer