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

toSubsemiring_lt_toSubsemiring

Mathlib.Algebra.Ring.Subring.Basic

URI: https://scilib.ai/kg/mathlib#Subring.toSubsemiring_lt_toSubsemiring

← MathLib Explorer