rat' — Mathlib · SciLib

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

rat'

Mathlib.Algebra.Module.Rat

URI: https://scilib.ai/kg/mathlib#SMulCommClass.rat'

← MathLib Explorer