∫ Утверждение Mathlib
image_eq_preimage
Mathlib.Algebra.Module.Equiv.Defs
URI: https://scilib.ai/kg/mathlib#LinearEquiv.image_eq_preimage
∫ Утверждение Mathlib
Mathlib.Algebra.Module.Equiv.Defs
URI: https://scilib.ai/kg/mathlib#LinearEquiv.image_eq_preimage