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

coe_def

Mathlib.RingTheory.DividedPowers.SubDPIdeal

URI: https://scilib.ai/kg/mathlib#DividedPowers.SubDPIdeal.coe_def

← MathLib Explorer