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

toSubsemiring_toNonUnitalSubsemiring

Mathlib.Algebra.Ring.Subsemiring.Defs

URI: https://scilib.ai/kg/mathlib#NonUnitalSubsemiring.toSubsemiring_toNonUnitalSubsemiring

← MathLib Explorer