isTorsionBy_quotient_iff — Mathlib · SciLib

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

isTorsionBy_quotient_iff

Mathlib.Algebra.Module.Torsion

URI: https://scilib.ai/kg/mathlib#Module.isTorsionBy_quotient_iff

← MathLib Explorer