∫ Утверждение Mathlib
Mathlib.Algebra.Divisibility.Hom
URI: https://scilib.ai/kg/mathlib#MonoidHom.map_dvd
← MathLib Explorer