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

toSubsemiring_le_toSubsemiring

Mathlib.Algebra.Ring.Subring.Basic

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

← MathLib Explorer