of_mul_right_right — Mathlib · SciLib

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

of_mul_right_right

Mathlib.Algebra.Divisibility.Units

URI: https://scilib.ai/kg/mathlib#IsRelPrime.of_mul_right_right

← MathLib Explorer